A process algebra framework for multi-scale modelling of biological systems

DOI10.1016/J.TCS.2013.03.018MaRDI QIDQ388145zbMATHOpenAlexWikidataFDO

Authors A. Degasperi, M. Calder

Publication date 19 December 2013

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2013.03.018

zbMATH Keywords

biological systemsprocess algebramulti-scale modelingfunctional rates

Mathematics Subject Classification ID

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

Recommendations

• Process algebra with hooks for models of pattern formation
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Equivalences for a biological process algebra
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A process algebra framework for multi-scale modelling of biological systems
• An introduction to systems biology. Design principles of biological circuits.
• 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
• Brane Calculi
• Computational Methods in Systems Biology
• Extended Markovian Process Algebra
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Modeling biological systems in stochastic concurrent constraint programming
• Multistationarity, the basis of cell differentiation and memory. II: Logical analysis of regulatory networks in terms of feedback circuits
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
• Process algebra with hooks for models of pattern formation
• Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework
• Rule-Based Modelling of Cellular Signalling
• Simulating the impact of a molecular `decision-process' on cellular phenotype and multicellular patterns in brain tumors
• Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
• State-Aware Performance Analysis with eXtended Stochastic Probes
• Testing equivalences for processes

Cited in

(7)

• Process algebra with hooks for models of pattern formation
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Process Algebra Models of Population Dynamics
• A process algebra framework for multi-scale modelling of biological systems
• Design of a biomolecular device that executes process algebra

Describes a project that uses

Uses Software

• Bio-PEPA
• BioNetGen
• BIOCHAM
• PEPA
• LBS

This page was built for publication: A process algebra framework for multi-scale modelling of biological systems

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