Process algebra with hooks for models of pattern formation

DOI10.1016/J.ENTCS.2010.12.004MaRDI QIDQ5404085zbMATH OpenOpenAlexDBLPWikidataFDO

Authors A. Degasperi, M. Calder

Publication date 21 March 2014

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

Full work available at URL https://doi.org/10.1016/j.entcs.2010.12.004

zbMATH Keywords

geometrical spacelabelled transition systempattern formationprocess algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Developmental biology, pattern formation (92C15)

Recommendations

• A process algebra framework for multi-scale modelling of biological systems
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• Process Algebra Modelling Styles for Biomolecular Processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Equivalences for a biological process algebra

Cites work

• A process algebra framework for multi-scale modelling of biological systems
• 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
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Computational Methods in Systems Biology
• Process Algebra Modelling Styles for Biomolecular Processes
• Rule-Based Modelling of Cellular Signalling
• State-Aware Performance Analysis with eXtended Stochastic Probes
• Tailoring and coupling of reaction-diffusion systems to obtain reproducible complex pattern formation during development of the higher organisms
• The chemical basis of morphogenesis

Cited in

(3)

• Process Algebra Models of Population Dynamics
• A process algebra framework for multi-scale modelling of biological systems
• Foundational aspects of multiscale modeling of biological systems with process algebras

Describes a project that uses

Uses Software

• BIOCHAM
• Bio-PEPA
• PEPA

This page was built for publication: Process algebra with hooks for models of pattern formation

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