| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 438006 | Theoretical Computer Science | 2009 | 25 Pages |
Abstract
We introduce Stochastic String MultiSet Rewriting (sSMSR), and propose this formalism as an intermediate language for the simulation of biomolecular systems. Higher level formalisms for biological systems description can be translated into sSMSR, and the features of sSMSR allow the development of efficient simulators. In this paper, we show the encoding into sSMSR of two formalisms for the description of biological systems, namely Stochastic CLS and the Stochastic π-calculus. We prove soundness and completeness of both the encodings.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
