Compositionality of Approximate Bisimulation for Probabilistic Systems


Probabilistic transition system specifications using the rule format ntμfθ/ntμxθ provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. Probabilistic bisimilarity is for many applications too sensitive to the exact probabilities of transitions. Approximate bisimulation provides a… (More)
DOI: 10.4204/EPTCS.120.4


2 Figures and Tables


Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics