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 @p-calculus. We prove soundness and completeness of both the encodings. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.tcs.2008.09.032 | Theor. Comput. Sci. |
Keywords | DocType | Volume |
intermediate language,efficient simulator,stochastic calculus of looping sequences,Stochastic CLS,Stochastic π -calculus,multiset rewriting,biological systems description,biological system,higher level formalisms,Stochastic simulation,Stochastic String MultiSet Rewriting,Stochastic Calculus of Looping Sequences,stochastic π−calculus.,biomolecular system,MultiSet rewriting,stochastic simulation | Journal | 410 |
Issue | ISSN | Citations |
33-34 | Theoretical Computer Science | 2 |
PageRank | References | Authors |
0.42 | 12 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Barbuti | 1 | 866 | 81.03 |
Giulio Caravagna | 2 | 156 | 16.46 |
Andrea Maggiolo-Schettini | 3 | 789 | 89.11 |
Paolo Milazzo | 4 | 328 | 21.14 |