Bisimulation and Open Maps (1993)
by
André Joyal
,
Mogens Nielsen
,
Glynn Winskel
| Venue: | In Proc. LICS'93, Eighth Annual Symposium on Logic in Computer Science |
| Citations: | 32 - 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 |
