Bio-PEPAd: a non-Markovian extension of Bio-PEPA
From MaRDI portal
Publication:764354
DOI10.1016/J.TCS.2011.11.028zbMath1232.68090OpenAlexW2159278787MaRDI QIDQ764354
Jane Hillston, Giulio Caravagna
Publication date: 13 March 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.11.028
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Stochastic hybrid automata with delayed transitions to model biochemical systems with delays ⋮ Hybrid semantics for Bio-PEPA ⋮ Verification of membrane systems with delays via Petri nets with delays
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Global stability of an SIR epidemic model with constant infectious period
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Evolving BlenX programs to simulate the evolution of biological networks
- A delay differential equation model for tumor growth
- A delay-differential equation model of HIV infection of \(\text{CD}4^+\) T-cells
- The theory of interactive generalized semi-Markov processes
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Permanence of an SIR epidemic model with distributed time delays
- The origins of structural operational semantics
- BioAmbients: an abstraction for biological compartments
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Probabilistic model checking of complex biological pathways
- A theory of stochastic systems. II: Process algebra
- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
- A Language for Biochemical Systems: Design and Formal Specification
- Rule-Based Modelling of Cellular Signalling
- Spatial Calculus of Looping Sequences
This page was built for publication: Bio-PEPAd: a non-Markovian extension of Bio-PEPA
