Jan Friso Groote;Frits W. Vaandrager
-;-
Bisimulation can't be traced
Journal of the ACM (JACM)
Undecidable equivalences for basic parallel processes
Information and Computation
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement
Fundamenta Informaticae