Bisimulations and divergence (1988)

by David Walker
Venue:In Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science (LICS