DMCA
An intermediate language for the stochastic simulation of biological systems (2008)
| Citations: | 1 - 1 self |
BibTeX
@MISC{Barbuti08anintermediate,
author = {Roberto Barbuti and Giulio Caravagna and Andrea Maggiolo-Schettini and Paolo Milazzo},
title = { An intermediate language for the stochastic simulation of biological systems },
year = {2008}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We introduce Stochastic String MultiSet Rewriting (sSMSR), and propose this formalism as an intermediate language for 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.
