Bard Bloom;Robert Paige
-;-
Bisimulation can't be traced
Journal of the ACM (JACM)
Generating diagnostic information for behavioral preorders
Distributed Computing