Equivalences for a biological process algebra
From MaRDI portal
Publication:652149
DOI10.1016/J.TCS.2011.07.006zbMath1402.92201OpenAlexW2150188445MaRDI QIDQ652149
Publication date: 19 December 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.07.006
process algebracongruencebiological modellingdiscretisationsemantic equivalenceparameterised bisimulation
Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items (2)
Hybrid semantics for Bio-PEPA ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Bisimulations in calculi modelling membranes
- A simple calculus for proteins and cells
- Bisimulation through probabilistic testing
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Process Algebra Modelling Styles for Biomolecular Processes
- Modelling Biological Compartments in Bio-PEPA
- Computational Methods in Systems Biology
- Transactions on Computational Systems Biology IV
This page was built for publication: Equivalences for a biological process algebra
