BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Versari:Cristian

Contributed to:

ESOP 20112011
FOSSACS 20092009
SFM 20082008
ESOP 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.