Stochastic simulation of multiple process calculi for biology
Publication:418846
DOI10.1016/j.tcs.2011.12.057zbMath1251.68158OpenAlexW2098825363MaRDI QIDQ418846
Matthew R. Lakin, Andrew Phillips, Loïc Paulevé
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.057
correctnessimplementationstochastic simulationbioambient calculusgeneric abstract machinekappa calculusPi-calculus
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General biology and biomathematics (92B05) Systems biology, networks (92C42)
Related Items (2)
Uses Software
Cites Work
- Evolving BlenX programs to simulate the evolution of biological networks
- Statecharts: a visual formalism for complex systems
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- BioAmbients: an abstraction for biological compartments
- On process rate semantics
- Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
- Rule-Based Modelling of Cellular Signalling
- An Abstract Machine for the Stochastic Bioambient calculus
- Abstract Interpretation of Cellular Signalling Networks
- Brane Calculi
This page was built for publication: Stochastic simulation of multiple process calculi for biology