Bisimulation from Open Maps

André Joyal, Mogens Nielsen, Glynn Winskel. Bisimulation from Open Maps. Inf. Comput., 127(2):164-185, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.