Bio-PEPAd: a non-Markovian extension of Bio-PEPA
DOI10.1016/J.TCS.2011.11.028zbMATH Open1232.68090OpenAlexW2159278787MaRDI QIDQ764354FDOQ764354
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
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- A Language for Biochemical Systems: Design and Formal Specification
- A delay-differential equation model of HIV infection of \(\text{CD}4^+\) T-cells
- Spatial Calculus of Looping Sequences
- BioAmbients: an abstraction for biological compartments
- 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
- Probabilistic model checking of complex biological pathways
- Global stability of an SIR epidemic model with constant infectious period
- A delay differential equation model for tumor growth
- Permanence of an SIR epidemic model with distributed time delays
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- The origins of structural operational semantics
- Rule-Based Modelling of Cellular Signalling
- The theory of interactive generalized semi-Markov processes
- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Evolving BlenX programs to simulate the evolution of biological networks
- A theory of stochastic systems. II: Process algebra
Cited In (4)
Uses Software
Recommendations
- Bio-PEPA: A framework for the modelling and analysis of biological systems 👍 👎
- Hybrid semantics for Bio-PEPA 👍 👎
- Piecewise Deterministic Markov Processes in Biological Models 👍 👎
- PAM 👍 👎
- Non-homogeneous Markov Processes for Biomedical Data Analysis 👍 👎
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks 👍 👎
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values 👍 👎
- Modelling Biological Compartments in Bio-PEPA 👍 👎
This page was built for publication: Bio-PEPAd: a non-Markovian extension of Bio-PEPA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764354)
