Modelling Biological Compartments in Bio-PEPA
From MaRDI portal
Publication:5179426
DOI10.1016/j.entcs.2008.12.105zbMath1348.92069OpenAlexW2121924838MaRDI QIDQ5179426
Federica Ciocchetta, Maria Luisa Guerriero
Publication date: 19 March 2015
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.2008.12.105
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items (9)
A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Process calculi for biological processes ⋮ Equivalences for a biological process algebra ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Process Algebra Modelling Styles for Biomolecular Processes
Uses Software
Cites Work
- Evolving BlenX programs to simulate the evolution of biological networks
- Membrane computing. An introduction.
- BioAmbients: an abstraction for biological compartments
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
- Analysing Biochemical Oscillation through Probabilistic Model Checking
- Modeling Static Biological Compartments with Beta-binders
- Brane Calculi
- Computational Methods in Systems Biology
This page was built for publication: Modelling Biological Compartments in Bio-PEPA
