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