A domain equation for bisimulation (1991)

by S Abramsky
Venue:Information and Computation