@misc{indiciaed1222a3bcecc, title = {Weak bisimulations for labelled transition systems weighted over semirings}, author = {Marino Miculan and Marco Peressotti}, year = {2013}, url = {https://arxiv.org/abs/1310.4106}, note = {Source identifier: 1310.4106} }