On the Complexity of Computing Probabilistic Bisimilarity

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28729-9_29 ◽

2012 ◽

pp. 437-451 ◽

Author(s):

Di Chen ◽

Franck van Breugel ◽

James Worrell

Download Full-text