Peressotti (2013): Weak bisimulations for labelled transition systems weighted over semirings. CoRR abs/1310.4106. Available at http://arxiv.org/abs/1310.4106 (0)

by Marino Miculan, Marco