Bisimulation from Open Maps
β
AndrΓ© Joyal; Mogens Nielsen; Glynn Winskel
π
Article
π
1996
π
Elsevier Science
π
English
β 778 KB