An intermediate language for the simulation of biological systems

DOI10.1016/J.ENTCS.2007.12.004MaRDI QIDQ2870295zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.12.004

zbMATH Keywords

calculus of looping sequencesmultiset rewritingstochastic simulation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Systems biology, networks (92C42)

Recommendations

• An intermediate language for the stochastic simulation of biological systems
• scientific article; zbMATH DE number 1956561
• A language for biochemical systems: design and formal specification
• Semantics and efficient simulation algorithms of an expressive multilevel modeling language
• Stochastic simulation of multiple process calculi for biology

Cites work

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Brane Calculi
• Formal molecular biology
• scientific article; zbMATH DE number 5051639 (Why is no real title available?)
• Membrane computing. An introduction.
• Modelling biochemical pathways through enhanced -calculus
• The Calculus of Looping Sequences for Modeling Biological Membranes

Cited in

(7)

• An intermediate language for the stochastic simulation of biological systems
• GUBS a Language for Synthetic Biology: Specification and Compilation
• scientific article; zbMATH DE number 1950560 (Why is no real title available?)
• scientific article; zbMATH DE number 1462101 (Why is no real title available?)
• Semantics and efficient simulation algorithms of an expressive multilevel modeling language
• Core SBML and its formal semantics
• An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus

This page was built for publication: An intermediate language for the simulation of biological systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870295)