Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
DOI10.1016/J.ENTCS.2009.02.010zbMATH Open1283.92036OpenAlexW2088846696WikidataQ59675359 ScholiaQ59675359MaRDI QIDQ5404080FDOQ5404080
Authors: Federica Ciocchetta, A. Degasperi, Jane Hillston, M. Calder 
Publication date: 21 March 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.2009.02.010
Recommendations
- Relating continuous and discrete PEPA models of signalling pathways
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Equivalences for a biological process algebra
Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Solutions of ordinary differential equations as limits of pure jump markov processes
- Limit theorems for sequences of jump Markov processes approximating ordinary differential processes
- Modeling biological systems in stochastic concurrent constraint programming
- Computational Methods in Systems Biology
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Relating continuous and discrete PEPA models of signalling pathways
Cited In (14)
- Improved continuous approximation of PEPA models through epidemiological examples
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Probabilistic approximations of ODEs based bio-pathway dynamics
- Modular modelling of signalling pathways and their cross-talk
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Unwinding biological systems
- Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling
- Modelling biological compartments in bio-PEPA
- Approximate analysis of biological systems by hybrid switching jump diffusion
- A model and analysis of the AKAP scaffold
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Product form approximation of transient probabilities in stochastic reaction networks
- A process algebra framework for multi-scale modelling of biological systems
Uses Software
This page was built for publication: Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404080)
