Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 294
Titolo Data di pubblicazione Autore(i) Tipo File
Distribution and Locality of Concurrent Systems 1-gen-1994 Corradini, Flavio; DE NICOLA, R. Contributo in atto di convegno su volume
On Four Partial Ordering Semantics for a Process Calculus 1-gen-1996 Corradini, Flavio; DE NICOLA, R. Articolo
On the Specification and Verification of Performance Properties for a Timed Process Algebras 1-gen-1997 Chen, X. J.; Corradini, Flavio Contributo in atto di convegno su volume
Performance Preorder and Competitive Equivalence 1-gen-1997 Corradini, Flavio; Gorrieri, R.; Roccetti, M. Articolo
Locality Based Semantics for Process Algebras 1-gen-1997 Corradini, Flavio; DE NICOLA, R. Articolo
On Performance Congruences for Process Algebras 1-gen-1998 Corradini, Flavio Articolo
On the Coarsest Congruence within Global-Clock-Bounded Equivalence 1-gen-1998 Corradini, Flavio Articolo
Towards Parallelization of Concurrent Systems 1-gen-1998 Corradini, Flavio; Gorrieri, R.; Marchignoli, D. Articolo
On the Relationships among four Timed Process Algebras 1-gen-1999 Corradini, Flavio; D'Ortenzio, D.; Inverardi, P. Articolo
Models of Nondeterministic Regular Expressions 1-gen-1999 Corradini, Flavio; DE NICOLA, R.; Labella, A. Articolo
A Finite Axiomatization of Nondeterministic Regular Expressions 1-gen-1999 Corradini, Flavio; DE NICOLA, Rocco; Labella, A. Articolo
F. Corradini. A step forward towards equational ax- iomatizations of Milner bisimulation in Kleene star 1-gen-2000 Corradini, Flavio Altro
Deriving Test Plans from Architectural Descriptions 1-gen-2000 Bertolino, A.; Corradini, Flavio; Inverardi, P.; Muccini, H. Contributo in atto di convegno su volume
Specification and Analysis of Timed and Functional TRMCS Behaviours 1-gen-2000 Cioffi, M.; Corradini, Flavio Contributo in atto di convegno su volume
Absolute versus Relative Time in Process Algebras 1-gen-2000 Corradini, Flavio Articolo
On Synchronous and Asynchronous Communication Paradigms 1-gen-2001 Cacciagrano, Diletta Romana; Corradini, Flavio Contributo in atto di convegno su volume
On Testing Urgency through Laziness over Processes with Durational Actions 1-gen-2001 Corradini, Flavio; DI COLA, D. Articolo
`Closed Interval Process Algebra' versus `Interval Process Algebra' 1-gen-2001 Corradini, Flavio; Pistore, M. Articolo
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
On the semantics of durational actions 1-gen-2001 Corradini, Flavio; Ferrari, G. L.; Pistore, M. Articolo
Mostrati risultati da 1 a 20 di 294
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