Bisimulation Can't Be Traced.

Bard Bloom, Sorin Istrail, Albert R. Meyer

Browse the full POPL paper archive.