Bisimulation and Open Maps (1993)

Cached

Download Links

by André Joyal , Mogens Nielsen , Glynn Winskel
Venue:In Proc. LICS'93, Eighth Annual Symposium on Logic in Computer Science
Citations:36 - 7 self

Document Versions

Bisimulation and Open Maps –André Joyal, Mogens Nielsen, Glynn Winskel — 1993 — In Proc. LICS'93, Eighth Annual Symposium on Logic in Computer Science