The modelling of biological systems led to the explicit introduction of compartments in several bio-oriented process calculi. In this tutorial we show how different compartment semantics can be obtained by means of a simple and conservative extension of the standard pi-calculus, the pi@ calculus. Significant examples are given through the encoding of two well known bio-inspired process calculi: BioAmbients and Brane Calculi.
C. Versari, R.Gorrieri (2008). pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. HEIDELBERG : Springer-Verlag.
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
VERSARI, CRISTIAN;GORRIERI, ROBERTO
2008
Abstract
The modelling of biological systems led to the explicit introduction of compartments in several bio-oriented process calculi. In this tutorial we show how different compartment semantics can be obtained by means of a simple and conservative extension of the standard pi-calculus, the pi@ calculus. Significant examples are given through the encoding of two well known bio-inspired process calculi: BioAmbients and Brane Calculi.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
