- Glynn Winskel. Petri nets,
algebras, morphisms, and compositionality. Information and
Computation, 72(3):197-238, March 1987.
Citations.
- Thierry Coquand, Carl Gunter, and Glynn Winskel. Domain theoretic models of
polymorphism. Information and Computation,
81(2):123-167, May 1989.
References
and Citations.
- Glynn Winskel. A
compositional proof system on a category of labelled transition
systems. Information and Computation, 87(1/2):2-57,
July/August 1990.
References,
Citations,
etc.
- Kim Guldstrand Larsen and Glynn Winskel. Using information systems to solve
recursive domain equations. Information and
Computation, 91(2):232-258, April 1991.
Citations.
- Juanito Camilleri and Glynn Winskel. CCS with priority choice.
Information and Computation, 116(1):26-37, January 1995.
Abstract,
References,
and Citations.
- André Joyal, Mogens Nielsen, and Glynn Winskel. Bisimulation from open maps.
Information and Computation, 127(2):164-185, 15 June 1996.
Abstract,
References,
Citations,
etc.
Shortcuts: