VERSARI, CRISTIAN
VERSARI, CRISTIAN
DIP. DI SCIENZE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.007 secondi).
Introduction to Concurrency Theory - Transition Systems and CCS
2015 Gorrieri, Roberto; Versari, Cristian
An Operational Petri Net Semantics for A2CCS
2011 R. Gorrieri; C. Versari
A Process Calculus for Expressing Finite Place/Transition Petri Nets
2010 R. Gorrieri; C. Versari
An expressiveness study of priority in process calculi
2009 C. Versari; N. Busi; R. Gorrieri
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
2008 C. Versari; R.Gorrieri
On the Expressive Power of Global and Local Priority in Process Calculi
2007 C. Versari; N. Busi; R. Gorrieri
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Introduction to Concurrency Theory - Transition Systems and CCS | Gorrieri, Roberto; Versari, Cristian | 2015-01-01 | - | Ronan Nugent | 3.01 Monografia / trattato scientifico in forma di libro | - |
| An Operational Petri Net Semantics for A2CCS | R. Gorrieri; C. Versari | 2011-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| A Process Calculus for Expressing Finite Place/Transition Petri Nets | R. Gorrieri; C. Versari | 2010-01-01 | - | Electronic Proceedings in Theoretical Computer Sci | 2.01 Capitolo / saggio in libro | - |
| An expressiveness study of priority in process calculi | C. Versari; N. Busi; R. Gorrieri | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi | C. Versari; R.Gorrieri | 2008-01-01 | - | Springer-Verlag | 2.01 Capitolo / saggio in libro | - |
| On the Expressive Power of Global and Local Priority in Process Calculi | C. Versari; N. Busi; R. Gorrieri | 2007-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |