Bisimulation for labelled Markov processes (Q2506488): Difference between revisions

@@ 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.1006/inco.2001.2962
+Normal rank
@@ Property / OpenAlex ID @@
+W2100893927
@@ Property / OpenAlex ID: W2100893927 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4112980
@@ Property / cites work: Q4112980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4606219
@@ Property / cites work: Q4606219 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222911
@@ Property / cites work: Q4222911 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
+Normal rank
@@ Property / cites work @@
+Q4037401
@@ Property / cites work: Q4037401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528194
@@ Property / cites work: Q5528194 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes
@@ Property / cites work: Testing preorders for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Real Analysis and Probability
@@ Property / cites work: Real Analysis and Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks and bisimulation in categories of Markov processes
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4769223
@@ Property / cites work: Q4769223 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Introdction to Measure and Probability
@@ Property / cites work: Introdction to Measure and Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526190
@@ Property / cites work: Q5526190 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179849
@@ Property / cites work: Q4179849 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998903
@@ Property / cites work: Q3998903 / rank @@
+Normal rank