Equivalences for a biological process algebra

DOI10.1016/J.TCS.2011.07.006MaRDI QIDQ652149zbMATH OpenOpenAlexFDO

Authors Vashti Galpin

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

zbMATH Keywords

biological modellingcongruencediscretisationprocess algebrasemantic equivalenceparameterised bisimulation

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• 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
• Relating continuous and discrete PEPA models of signalling pathways
• scientific article; zbMATH DE number 956806

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1950554 (Why is no real title available?)
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values
• A simple calculus for proteins and cells
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• BioAmbients: an abstraction for biological compartments
• Bisimulation through probabilistic testing
• Bisimulations in calculi modelling membranes
• Computational Methods in Systems Biology
• Formal molecular biology
• Modelling biological compartments in bio-PEPA
• Process Algebra Modelling Styles for Biomolecular Processes
• Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
• Transactions on Computational Systems Biology IV

Cited in

(9)

• Design of a biomolecular device that executes process algebra
• Foundational aspects of multiscale modeling of biological systems with process algebras
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values
• Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
• Process algebra with hooks for models of pattern formation
• Hybrid semantics for Bio-PEPA
• Process Algebra Modelling Styles for Biomolecular Processes
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• A process algebra framework for multi-scale modelling of biological systems

Describes a project that uses

Uses Software

• PEPA
• Bio-PEPA

This page was built for publication: Equivalences for a biological process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652149)