The following pages link to Bio-PEPA (Q14101):
Displayed 39 items.
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Mean-Field Limits Beyond Ordinary Differential Equations (Q2822663) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (Q2870300) (← links)
- Applying Mean-Field Approximation to Continuous Time Markov Chains (Q2937739) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509) (← links)
- (Q3058491) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- Formalisms for Specifying Markovian Population Models (Q3646248) (← links)
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (Q4647835) (← links)
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study (Q4912378) (← links)
- Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks (Q5166639) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- External Control in Process Algebra for Systems Biology (Q5179432) (← links)
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways (Q5190983) (← links)
- The BlenX Language with Biological Transactions (Q5190984) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
- Bone Remodelling in BioShape (Q5404084) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- A Framework for Modelling and Simulating Networks of Cells (Q5404091) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- Symbolic computation of differential equivalences (Q5890964) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)