Process Algebra Modelling Styles for Biomolecular Processes

DOI10.1007/978-3-642-04186-0_1zbMath1260.92030WikidataQ59675354 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

92C45: Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

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, Equivalences for a biological process algebra, Modular modelling of signalling pathways and their cross-talk, Modelling patterns of gene regulation in the bond-calculus

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