Winskel, G.

• Nielsen, Mogens; Winskel, Glynn:
  Petri Nets and Bisimulation. 1996.

• Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn:
  Models for concurrency - Towards a classification. 1996.

• Engberg, U.; Winskel, G.:
  Completeness Results for Linear Logic on Petri Nets. 1993.

• Winskel, G.; Nielsen, M.:
  Models for Concurrency. 1993.

• Engberg, U.; Winskel, G.:
  Linear Logic on Petri Nets. 1993.

• Nielsen, M.; Sassone, V.; Winskel, G.:
  Relationships Between Models of Concurreny. 1993.

• Engberg, Uffe; Winskel, Glynn:
  Petri Nets as Models of Linear Logic. 1990.

• Winskel, G.:
  An Introduction to Event Structures. 1989.

• Winskel, G.:
  An Introduction to Event Structures. 1989.

• Winskel, G.:
  A Category of Labelled Petri Nets and Compositional Proof System. 1988.

• Winskel, G.:
  Event Structures. 1987.

• Winskel, G.:
  Petri Nets, Algebras, Morphisms, and Compositionality. 1987.

• Winskel, G.:
  Category Theory and Models for Parallel Computation. 1986.

• Winskel, G.:
  Petri Nets, Morphisms and Compositionality. 1986.

• Winskel, G.:
  Categories of Models for Concurrency. 1985.

• Winskel, G.:
  Petri Nets, Algebras and Morphisms. 1985.

• Winskel, G.:
  A New Definition of Morphism on Petri Nets. 1984.

• Winskel, G.:
  An Exercise in Processes with Infinite Pasts. 1982.

• Winskel, G.:
  Events in Computation. 1980.

• Nielsen, M.; Plotkin, G.; Winskel, G.:
  Petri Nets, Event Structures and Domains, Part I. 1980.

• Nielsen, M.; Plotkin, G.; Winskel, G.:
  Petri Nets, Event Structures and Domains. 1979.

Back to the Petri Nets Bibliography