Differential Bisimulation for a Markovian Process Algebra (Q2946344): Difference between revisions

@@ Property / describes a project that uses @@
+Bio-PEPA
@@ Property / describes a project that uses: Bio-PEPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-48057-1_23
+Normal rank
@@ Property / OpenAlex ID @@
+W2294656289
@@ Property / OpenAlex ID: W2294656289 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+A Survey of Markovian Behavioral Equivalences
@@ Property / cites work: A Survey of Markovian Behavioral Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Formal Reduction for Rule-based Models
@@ Property / cites work: Formal Reduction for Rule-based Models / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Q3611102
@@ Property / cites work: Q3611102 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Bisimulation for a Markovian Process Algebra
+Normal rank
@@ Property / cites work @@
+Solutions of ordinary differential equations as limits of pure jump markov processes
+Normal rank
@@ Property / cites work @@
+Q3917278
@@ Property / cites work: Q3917278 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Dynamical Systems by Bisimulation
@@ Property / cites work: Equivalence of Dynamical Systems by Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+The Effect of Lumping and Expanding on Kinetic Differential Equations
+Normal rank
@@ Property / cites work @@
+A unified framework for differential aggregations in Markovian process algebra
+Normal rank
@@ Property / cites work @@
+Exact Fluid Lumpability for Markovian Process Algebra
+Normal rank