A semantic equivalence for Bio-PEPA based on discretisation of continuous values
From MaRDI portal
Publication:533358
DOI10.1016/J.TCS.2011.01.007zbMATH Open1215.68140OpenAlexW2127900144MaRDI QIDQ533358FDOQ533358
Authors: Vashti Galpin, Jane Hillston 
Publication date: 3 May 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.01.007
Recommendations
- Equivalences for a biological process algebra
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Relating continuous and discrete PEPA models of signalling pathways
- Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
biological modellingstoichiometrycongruencediscretisationprocess algebracompression bisimulationsemantic equivalence
Cites Work
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Formal molecular biology
- Bisimulations in calculi modelling membranes
- BioAmbients: an abstraction for biological compartments
- Title not available (Why is that?)
- Brane Calculi
- 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
- Hybrid dynamics of stochastic programs
- Computational Methods in Systems Biology
- Transactions on Computational Systems Biology IV
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
- HYPE Applied to the Modelling of Hybrid Biological Systems
- A simple calculus for proteins and cells
- Process Algebra Modelling Styles for Biomolecular Processes
- Modelling biological compartments in bio-PEPA
- Equivalences for a biological process algebra
Cited In (5)
Uses Software
This page was built for publication: A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q533358)
