An intermediate language for the stochastic simulation of biological systems
From MaRDI portal
Publication:2271445
DOI10.1016/j.tcs.2008.09.032zbMath1176.68095MaRDI QIDQ2271445
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini
Publication date: 7 August 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://eprints.adm.unipi.it/534/1/sSMSR.pdf
stochastic simulation; multiset rewriting; stochastic \(\pi \)-calculus; stochastic calculus of looping sequences
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
Related Items
Foundational aspects of multiscale modeling of biological systems with process algebras, Chromar, a language of parameterised agents, Systolic Automata and P Systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Membrane computing. An introduction.
- Formal molecular biology
- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- BioAmbients: an abstraction for biological compartments
- Encoding Catalytic P Systems in π@
- An Intermediate Language for the Simulation of Biological Systems
- The Calculus of Looping Sequences for Modeling Biological Membranes
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi