Weak bisimulations for labelled transition systems weighted over semirings

Marino Miculan, Marco Peressotti

Weighted labelled transition systems are LTSs whose transitions are given weights drawn from a commutative monoid. WLTSs subsume a wide range of LTSs, providing a general notion of…