A Domain Equation For Bisimulation (1990)

by S Abramsky
Venue:Information and Computation