Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

DOI10.1016/j.entcs.2007.12.012zbMath1279.68270MaRDI 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\)-calculus; stochastic simulation; process calculi

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

92C42: Systems biology, networks

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

Modelling Biological Compartments in Bio-PEPA, A Framework for Modelling and Simulating Networks of Cells, Constructing and visualizing chemical reaction networks from pi-calculus models, The estimation of probability distribution of SDE by only one sample trajectory, 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