Bisimulation Can t Be Traced

Bard Bloom, Sorin Istrail, Albert R. Meyer. Bisimulation Can t Be Traced. In POPL. pages 229-239, 1988.

Abstract

Abstract is missing.