Pages that link to "Item:Q2870300"
From MaRDI portal
The following pages link to Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (Q2870300):
Displaying 26 items.
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- Categories of timed stochastic relations (Q2805158) (← links)
- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks (Q2915007) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra (Q3543308) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← 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)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Bonding calculus (Q6062028) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)