| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423671 | Electronic Notes in Theoretical Computer Science | 2007 | 13 Pages |
Abstract
In this work an extension of stochastic π-calculus with biological transactions is presented. This permits to model multi-reactant multi-product reactions as atomic actions when quantitative information are given. First, the syntax and the semantics are defined, then some transaction properties are discussed. Finally, some examples are described.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
