dblp.uni-trier.dewww.uni-trier.de

Cristian Versari

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jesús Aranda [7]
2Nadia Busi [3] [4] [5]
3Roberto Gorrieri [3] [6]
4Frank D. Valencia (Frank Valencia) [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)