Bisimulations and divergence (1988)

by D J Walker
Venue:In Proc. 3rd IEEE Symp. Logic in Computer Science