Stochastic simulation of multiple process calculi for biology

DOI10.1016/j.tcs.2011.12.057zbMath1251.68158MaRDI 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

zbMATH Keywords

correctness; implementation; stochastic simulation; bioambient calculus; generic abstract machine; kappa calculus; Pi-calculus

Mathematics Subject Classification ID

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

92B05: General biology and biomathematics

92C42: Systems biology, networks

Related Items

A strand graph semantics for DNA-based computation

Uses Software

• LBS
• BlenX

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