Abstract / Description of output
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.
Original language | English |
---|---|
Pages (from-to) | 3085 - 3109 |
Number of pages | 25 |
Journal | Theoretical Computer Science |
Volume | 410 |
Issue number | 33–34 |
DOIs | |
Publication status | Published - 2009 |
Keywords / Materials (for Non-textual outputs)
- Stochastic π -calculus