Deciding Bisimilarities on Distributions

Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang 0001. Deciding Bisimilarities on Distributions. In Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 72-88, Springer, 2013. [doi]


Abstract is missing.