A Domain Equation for Bisimulation (1991)

by S Abramsky
Venue:Information and Computation