David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas. Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. In Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Volume 5048 of Lecture Notes in Computer Science, pages 283-298, Springer, 2008. [doi]
Abstract is missing.