Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
From MaRDI portal
Publication:2870300
DOI10.1016/j.entcs.2007.12.008zbMath1279.68254MaRDI 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
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Modelling Biological Compartments in Bio-PEPA, Analysing Biochemical Oscillation through Probabilistic Model Checking, Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA, 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, nano\(\kappa\): A calculus for the modeling and simulation of nano devices, How adaptive and reliable is your program?, Flexible nets: a modeling formalism for dynamic systems with uncertain parameters, Stochastic biological modelling in the presence of multiple compartments, Bio-PEPA: A framework for the modelling and analysis of biological systems, Verification of spatial and temporal modalities in biochemical systems, Categories of Timed Stochastic Relations, The Attributed Pi-Calculus with Priorities, A Language for Biochemical Systems: Design and Formal Specification, A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra, Bio-PEPA with Events, Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
Uses Software
Cites Work