Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) Tipo File
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 1-gen-2001 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Relating Fairness and Timing in Process Algebras 1-gen-2003 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Code Mobility for Pervasive Computing 1-gen-2004 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita Contributo in atto di convegno su volume
Fairness of Components in System Computations 1-gen-2005 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Integrating Ontologies in Mobile Agents 1-gen-2005 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita; Merelli, Emanuela Contributo in atto di convegno su volume
Fairness of components in system computations 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Fairness of Actions in System Computations 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Checking a Mutex Algorithm in a Process Algebra with Fairness 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, V. Contributo in atto di convegno su volume
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue 1-gen-2008 Bartocci, E; Corradini, Flavio; DI BERARDINI, Maria Rita; Entcheva, E; Grosu, R; Smolka, A. S. Contributo in atto di convegno su rivista
Liveness of a Mutex Algorithm in a Fair Process Algebra 1-gen-2009 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 1-gen-2009 Bartocci, E.; Corradini, Flavio; DI BERARDINI, Maria Rita; Encheva, E.; Smolka, S. A.; Grosu, R. :. Articolo
Shape Calculus: A spatial calculus for 3D colliding shapes 1-gen-2009 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Altro
A Shape Calculus for Biological Processes 1-gen-2009 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su volume
Time and Fairness in a Process Algebra with Non-blocking Reading 1-gen-2009 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Shape Calculus: Timed Operational Semantics and Well-Formedness 1-gen-2010 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Altro
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 1-gen-2010 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Articolo
Timed Operational Semantics and Well-Formedness of Shape Calculus 1-gen-2010 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Articolo
Read Operators and their Expressiveness in Process Algebras 1-gen-2011 Corradini, Flavio; DI BERARDINI, Maria Rita; Walter, Vogler Contributo in atto di convegno su rivista
Automated Analysis of MUTEX Algorithms with FASE 1-gen-2011 Buti, Federico; Massimo Callisto De, Donato; Corradini, Flavio; DI BERARDINI, Maria Rita; Walter, Vogler Contributo in atto di convegno su rivista
Towards Abstraction-Based Verification of Shape Calculus 1-gen-2012 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista
Mostrati risultati da 1 a 20 di 21
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile