Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

David de Frutos-Escrig, Miguel Palomino, Ignacio Fbregas

Browse the full FORTE paper archive.