@INPROCEEDINGS{dFPF07a, title = {Multiset Bisimulation as a Common Framework for Ordinary and Probabilistic Bisimulations}, author = {de Frutos-Escrig, David and Miguel Palomino and Ignacio F\'abregas}, booktitle = {Formal Techniques for Networked and Distributed Systems --- FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings}, editor = {Kenji Suzuki and Teruo Higashino and Keiichi Yasumoto and Khaled El-Fakih}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = 2008, volume = 5048, note = {\url{http://maude.sip.ucm.es/~miguelpt/bibliography.html}} }