A process algebra framework for multi-scale modelling of biological systems
DOI10.1016/J.TCS.2013.03.018zbMATH Open1293.68204OpenAlexW2113103483WikidataQ59675317 ScholiaQ59675317MaRDI QIDQ388145FDOQ388145
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
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
Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Brane Calculi
- Modeling biological systems in stochastic concurrent constraint programming
- Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Computational Methods in Systems Biology
- Testing equivalences for processes
- An introduction to systems biology. Design principles of biological circuits.
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Rule-Based Modelling of Cellular Signalling
- State-Aware Performance Analysis with eXtended Stochastic Probes
- A process algebra framework for multi-scale modelling of biological systems
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- Process Algebra with Hooks for Models of Pattern Formation
- Extended Markovian Process Algebra
- Simulating the impact of a molecular `decision-process' on cellular phenotype and multicellular patterns in brain tumors
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
Cited In (7)
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Design of a biomolecular device that executes process algebra
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
- Process Algebra Models of Population Dynamics
- A process algebra framework for multi-scale modelling of biological systems
- Process Algebra with Hooks for Models of Pattern Formation
Uses Software
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)
