Process Algebra Modelling Styles for Biomolecular Processes
From MaRDI portal
Publication:3642950
DOI10.1007/978-3-642-04186-0_1zbMath1260.92030OpenAlexW1602280388WikidataQ59675354 ScholiaQ59675354MaRDI QIDQ3642950
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
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
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