Stochastic biological modelling in the presence of multiple compartments

DOI10.1016/j.tcs.2009.03.038zbMath1173.68043MaRDI QIDQ2271443

Nadia Busi, Cristian Versari

Publication date: 7 August 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.03.038

zbMATH Keywords

stochastic simulation; process calculi; \(\pi \)-calculus; compartment

Mathematics Subject Classification ID

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

92B05: General biology and biomathematics

Related Items

Nonnegative compartment dynamical system modelling with stochastic differential equations, Spatial calculus of looping sequences, Nadia Busi's publications

Uses Software

• Bio-PEPA
• SpiCO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• Embedding as a tool for language comparison
• 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.
• What is a ``good encoding of guarded choice?
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• A Simple Calculus for Proteins and Cells
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
• Tau Leaping Stochastic Simulation Method in P Systems
• A Stochastic Pi Calculus for Concurrent Objects
• Computational Methods in Systems Biology
• Brane Calculi
• Computational Methods in Systems Biology
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi