Searching for "Probabilistic bisimulation as a congruence." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Probabilistic metric semantics for a simple language with recursion
- … that the probabilistic bisimulation of Larsen & Skou is a congruence for this language. Following the methodology…
- Cited by 18 (6 self) – Add To MetaCart
-
A Testing Equivalence for Reactive Probabilistic Processes
- … Glabbeek et al. [11] show that probabilistic bisimulation is a congruence This is a preliminary version…
- Cited by 16 (1 self) – Add To MetaCart
-
Algebraic Reasoning for Probabilistic Concurrent Systems
- …'s bisimulation proposed by Larsen and Skou. We provide the first axiomatization of probabilistic bisimulation, a…
- Cited by 86 (4 self) – Add To MetaCart
-
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
- …] show that probabilistic bisimulation is a congruence over their calculus PCCS (which contains all…
- Cited by 7 (1 self) – Add To MetaCart
-
A Complete Axiom System for Finite-State Probabilistic Processes
- … 11794-4400 USA Abstract A complete equational axiomatization of probabilistic bisimulation…
- Add To MetaCart
Showing 1 through 5.
