Bacci, Giorgio
[Verfasser:in];
Bacci, Giovanni
[Verfasser:in];
G. Larsen, Kim
[Verfasser:in];
Mardare, Radu
[Verfasser:in]
;
Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare
[Mitwirkende:r]
Complete Axiomatization for the Bisimilarity Distance on Markov Chains
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains. Our axiomatization is given in the style of a quantitative extension of equational logic recently proposed by Mardare, Panangaden, and Plotkin (LICS'16) that uses equality relations t =_e s indexed by rationals, expressing that "t is approximately equal to s up to an error e". Notably, our quantitative deductive system extends in a natural way the equational system for probabilistic bisimilarity given by Stark and Smolka by introducing an axiom for dealing with the Kantorovich distance between probability distributions.