Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

DOI10.1016/j.entcs.2007.12.012zbMath1279.68270OpenAlexW2010602678MaRDI QIDQ2870307

Cristian Versari, Nadia Busi

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.012

zbMATH Keywords

\(\pi\)-calculusstochastic simulationprocess calculi

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ The estimation of probability distribution of SDE by only one sample trajectory ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ Stochastic biological modelling in the presence of multiple compartments

Uses Software

• SpiCO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• A Stochastic Pi Calculus for Concurrent Objects
• Computational Methods in Systems Biology
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi