Abstract | ||
---|---|---|
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be translated into SMSR and SMSR descriptions can be simulated by adapting an existing simulator. In this paper we show the translation of one of these formalisms, CLS+, into SMSR, and we prove correctness and completeness of the translation. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.entcs.2007.12.004 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
intermediate language,smsr description,multiset rewriting,biological systems description,higher level formalisms,existing simulator,calculus of looping sequences.,calculus of looping sequences,stochastic simulation,string multiset rewriting,biomolecular system,biological systems | Stochastic simulation,Multiset rewriting,Discrete mathematics,CLs upper limits,Computer science,Correctness,Theoretical computer science,Intermediate language,Rotation formalisms in three dimensions,Completeness (statistics) | Journal |
Volume | Issue | ISSN |
194 | 3 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
3 | 0.46 | 26 |
Authors | ||
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 |