Bisimulation Can t Be Traced

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

Possibly Related Publications

The following publications are possibly variants of this publication: