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

DOI10.1016/j.tcs.2013.03.018zbMath1293.68204OpenAlexW2113103483WikidataQ59675317 ScholiaQ59675317MaRDI QIDQ388145

A. Degasperi, Muffy 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

process algebrabiological systemsmulti-scale modelingfunctional rates

Mathematics Subject Classification ID

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

Related Items (3)

A process algebra framework for multi-scale modelling of biological systems ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebra framework for multi-scale modelling of biological systems
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Simulating the impact of a molecular `decision-process' on cellular phenotype and multicellular patterns in brain tumors
• Modeling biological systems in stochastic concurrent constraint programming
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
• Testing equivalences for processes
• 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
• Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits
• Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
• Rule-Based Modelling of Cellular Signalling
• State-Aware Performance Analysis with eXtended Stochastic Probes
• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
• Process Algebra with Hooks for Models of Pattern Formation
• Brane Calculi
• Computational Methods in Systems Biology
• Extended Markovian Process Algebra

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