Equivalences for a biological process algebra

DOI10.1016/J.TCS.2011.07.006zbMATH Open1402.92201OpenAlexW2150188445MaRDI QIDQ652149FDOQ652149

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

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

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)

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?)
• Bisimulation through probabilistic testing
• Computational Methods in Systems Biology
• Transactions on Computational Systems Biology IV
• Title not available (Why is that?)
• 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
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values
• A simple calculus for proteins and cells
• Process Algebra Modelling Styles for Biomolecular Processes
• Modelling Biological Compartments in Bio-PEPA

Cited In (4)

• Design of a biomolecular device that executes process algebra
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values
• Hybrid semantics for Bio-PEPA
• Process Algebra Modelling Styles for Biomolecular Processes

Uses Software

• Bio-PEPA
• 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)