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