Weak bisimulations for labelled transition systems weighted over semirings

MICULAN, Marino

PERESSOTTI, Marco