Search

• < Previous
• 1
• Next >

---

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

Giorgio Bacci ; Giovanni Bacci ; Kim G. Larsen ; Radu Mardare.

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&nbsp;[&hellip;]

---

Reasoning About Bounds in Weighted Transition Systems

Mikkel Hansen ; Kim Guldstrand Larsen ; Radu Mardare ; Mathias Ruggaard Pedersen.

We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates states that exhibit transitions to bisimulation classes with&nbsp;[&hellip;]

---