Process Algebra Modelling Styles for Biomolecular Processes

DOI10.1007/978-3-642-04186-0_1zbMath1260.92030OpenAlexW1602280388WikidataQ59675354 ScholiaQ59675354MaRDI QIDQ3642950

Jane Hillston, Muffy Calder

Publication date: 10 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04186-0_1

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Process calculi for biological processes ⋮ Equivalences for a biological process algebra ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ A symbolic investigation of superspreaders ⋮ Modular modelling of signalling pathways and their cross-talk

Uses Software

• Bio-PEPA
• PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling biological systems in stochastic concurrent constraint programming
• A calculus of communicating systems
• Modeling and querying biomolecular interaction networks
• BioAmbients: an abstraction for biological compartments
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• On process rate semantics
• A process algebra for synchronous concurrent constraint programming
• Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
• Rule-Based Modelling of Cellular Signalling
• Modelling Biological Compartments in Bio-PEPA
• A Compositional Approach to Performance Modelling
• Brane Calculi
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

This page was built for publication: Process Algebra Modelling Styles for Biomolecular Processes