Hybrid semantics for Bio-PEPA (Q2453221): Difference between revisions

@@ Property / cites work @@
+Adaptive simulation of hybrid stochastic and deterministic models for  biochemical systems
+Normal rank
@@ Property / cites work @@
+Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
+Normal rank
@@ Property / cites work @@
+Transactions on Computational Systems Biology IV
@@ Property / cites work: Transactions on Computational Systems Biology IV / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965816
@@ Property / cites work: Q4965816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5858728
@@ Property / cites work: Q5858728 / rank @@
+Normal rank
@@ Property / cites work @@
+HYPE: hybrid modelling by composition of flows
@@ Property / cites work: HYPE: hybrid modelling by composition of flows / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid dynamics of stochastic programs
@@ Property / cites work: Hybrid dynamics of stochastic programs / rank @@
+Normal rank
@@ Property / cites work @@
+(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program
+Normal rank
@@ Property / cites work @@
+Q4721455
@@ Property / cites work: Q4721455 / rank @@
+Normal rank
@@ Property / cites work @@
+Fifty Years of Stiffness
@@ Property / cites work: Fifty Years of Stiffness / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed delays in a hybrid model of tumor-immune system interplay
+Normal rank
@@ Property / cites work @@
+Bio-PEPAd: a non-Markovian extension of Bio-PEPA
@@ Property / cites work: Bio-PEPAd: a non-Markovian extension of Bio-PEPA / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA with Events
@@ Property / cites work: Bio-PEPA with Events / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+A delay-differential equation model of HIV infection of \(\text{CD}4^+\) T-cells
+Normal rank
@@ Property / cites work @@
+Integration of Stiff Equations
@@ Property / cites work: Integration of Stiff Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences for a biological process algebra
@@ Property / cites work: Equivalences for a biological process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
+Normal rank
@@ Property / cites work @@
+Hybrid representation and simulation of stiff biochemical networks
+Normal rank
@@ Property / cites work @@
+Hybrid stochastic simulations of intracellular reaction-diffusion systems
+Normal rank
@@ Property / cites work @@
+Amplified biochemical oscillations in cellular systems
+Normal rank
@@ Property / cites work @@
+A Language for Biochemical Systems: Design and Formal Specification
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+An Introduction to Delay Differential Equations with Applications to the Life Sciences
+Normal rank
@@ Property / cites work @@
+A quasistationary analysis of a stochastic chemical reaction: Keizer's paradox
+Normal rank