External Control in Process Algebra for Systems Biology

DOI10.1016/j.entcs.2008.12.110zbMath1348.92071OpenAlexW2026246184WikidataQ112881051 ScholiaQ112881051MaRDI QIDQ5179432

Filippo del Tedesco, Carla Piazza

Publication date: 19 March 2015

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.110

zbMATH Keywords

SPIMstochastic \(\pi\)-calculussimulation of chemical reactions

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Uses Software

• Bio-PEPA

Cites Work

• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Modeling biological systems in stochastic concurrent constraint programming
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• On process rate semantics
• Stochastic Concurrent Constraint Programming and Differential Equations
• Unnamed Item
• Unnamed Item

This page was built for publication: External Control in Process Algebra for Systems Biology