Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations | Publicación