Bisimulation from Open Maps (1994)

Cached

Download Links

by André Joyal , Mogens Nielsen , Glynn Winskel
Venue:INFORMATION AND COMPUTATION
Citations:142 - 43 self