technical report The pi-calculus with biological transactions


Abstract

In this work we extend the pi-calculus with a simple class of transactions, suitable to model multi-reactant, multi-product chemical reactions. Some examples are reported to validate our extension.



Paper Details

Authors

F. Ciocchetta,  C. Priami

Download

/var/papers/TR/TR-02-2006.pdf

Language

English
.