Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

DOI10.1016/J.ENTCS.2007.12.008zbMath1279.68254OpenAlexW2038192316MaRDI QIDQ2870300

Jane Hillston, Federica Ciocchetta

Publication date: 17 January 2014

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.2007.12.008

zbMATH Keywords

process algebrassystems biologybiochemical pathways

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (19)

Flexible nets: a modeling formalism for dynamic systems with uncertain parameters ⋮ Bonding calculus ⋮ Intuitive modelling and formal analysis of collective behaviour in foraging ants ⋮ A framework to measure the robustness of programs in the unpredictable environment ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ The Attributed Pi-Calculus with Priorities ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Categories of Timed Stochastic Relations ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Bio-PEPA with Events ⋮ Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back ⋮ How adaptive and reliable is your program?

Uses Software

• Bio-PEPA
• BIOCHAM
• PEPA

Cites Work

• Modeling biological systems in stochastic concurrent constraint programming
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Computational Methods in Systems Biology

This page was built for publication: Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks