Compositionality of Approximate Bisimulation for Probabilistic Systems

Abstract

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

Topics

2 Figures and Tables

Statistics

0102030201520162017
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