On the Complexity of Computing Probabilistic Bisimilarity.

Di Chen, Franck van Breugel, James Worrell

Browse the full FOSSACS paper archive.