Stochastic simulation of multiple process calculi for biology

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

zbMATH Keywords

correctnessimplementationstochastic simulationbioambient calculusgeneric abstract machinekappa calculusPi-calculus

Mathematics Subject Classification ID

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)

A strand graph semantics for DNA-based computation ⋮ Modern methods and software systems of molecular modeling and application of behavior algebra

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

This page was built for publication: Stochastic simulation of multiple process calculi for biology