Ciocchetta, Federica and Priami, Corrado (2006) The pi-calculus with biological transactions. UNSPECIFIED. (Unpublished)
![[img]](http://eprints.biblio.unitn.it/style/images/fileicons/application_pdf.png)
| PDF Download (264Kb) | Preview |
Abstract
In this work we extend the -calculus with a simple class of trans-actions, suitable to model multi-reactant, multiproduct chemical re-actions. Some examples are reported to validate our extension.
| Item Type: | Departmental Technical Report |
|---|---|
| Department or Research center: | CoSBi (Center for Computational and Systems Biology) |
| Subjects: | Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics |
| Report Number: | TR-02-2006 |
| Repository staff approval on: | 27 Nov 2009 |
Actions (login required)
| View Item |
