Deciding bisimilarity and similarity for probabilistic processes (0)

by C Baier, B Engelen, M E Majster-Cederbaum
Venue:Journal of Computer and System Sciences