Labelled Markov Processes as Generalised Stochastic Relations (Q2864159): 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.1016/j.entcs.2007.02.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2127166760
@@ Property / OpenAlex ID: W2127166760 / rank @@
+Normal rank
@@ Property / cites work @@
+Observation equivalence as a testing equivalence
@@ Property / cites work: Observation equivalence as a testing equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Retracing some paths in process algebra
@@ Property / cites work: Retracing some paths in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Axioms for Probabilistic Bisimilarity
@@ Property / cites work: Equational Axioms for Probabilistic Bisimilarity / rank @@
+Normal rank
@@ Property / cites work @@
+The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory, testing and simulation for labelled Markov processes
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622742
@@ Property / cites work: Q5622742 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank