Travelled to:1 × Germany
1 × Italy
1 × Portugal
1 × United Kingdom
Collaborated with:R.Gorrieri ∅ J.Aranda F.D.Valencia M.John C.Lhoussaine J.Niehren
Talks about:calculus (2) calculi (2) inspir (2) bio (2) compartmentalis (1) constraint (1) implement (1) restrict (1) reaction (1) prioriti (1)
Person: Cristian Versari
DBLP: Versari:Cristian
Contributed to:
2011
2009
20082007Wrote 4 papers:
- ESOP-2011-JohnLNV #constraints
- Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
- FoSSaCS-2009-ArandaVV #on the #power of #replication #strict
- On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
- SFM-2008-VersariG #calculus #implementation #process
- pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi (CV, RG), pp. 449–506.
- ESOP-2007-Versari #analysis #calculus #comparative
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi (CV), pp. 411–425.