2009 | ||
---|---|---|
7 | EE | Jesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256 |
2008 | ||
6 | EE | Cristian Versari, Roberto Gorrieri: pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506 |
5 | EE | Cristian Versari, Nadia Busi: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electr. Notes Theor. Comput. Sci. 194(3): 165-180 (2008) |
2007 | ||
4 | EE | Cristian Versari, Nadia Busi: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95 |
3 | EE | Cristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 |
2 | EE | Cristian Versari: A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. ESOP 2007: 411-425 |
1 | EE | Cristian Versari: Encoding Catalytic P Systems in pi@. Electr. Notes Theor. Comput. Sci. 171(2): 171-186 (2007) |
1 | Jesús Aranda | [7] |
2 | Nadia Busi | [3] [4] [5] |
3 | Roberto Gorrieri | [3] [6] |
4 | Frank D. Valencia (Frank Valencia) | [7] |