Bisimulation from Open Maps (1994)

Cached

Download Links

by André Joyal , Mogens Nielsen , Mogens Nielsen , Glynn Winskel , Glynn Winskel
Venue:Information and Computation
Citations:116 - 42 self