Stochastic biological modelling in the presence of multiple compartments
From MaRDI portal
Publication:2271443
DOI10.1016/j.tcs.2009.03.038zbMath1173.68043MaRDI QIDQ2271443
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
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
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