nLab G. Winskel

Professor Glynn Winskel is a professor in the Computer Laboratory, University of Cambridge. He was formerly Professor at the Computer Science Department, University of Aarhus and Director of BRICS (centre for Basic Research in Computer Science).

• home page

Selected writings

Event structures were introduced in:

• G. Winskel, Event Structures, in Advances in Petri Nets 1986. Springer Lecture Notes in Computer Science 255, 1987, (pdf).

Other papers on event structures:

• M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol. 13, pp. 85–108, 1981. doi:10.1016/0304-3975(81)90112-2

• G. Winskel and M. Nielsen, Models for concurrency. vol. 3, Handbook of Logic in Computer Science, pages 100 - 200, Oxford Univ. Press, 1994. (see also online technical report).

• G. Winskel, Event Structures as Presheaves – Two Representation Theorems BRICS report

• G. Winskel, Events, causality, and symmetry, (an earlier version appeared in the BCS conference ‘Visions in Computer Science.’ September 2008. The final version appears in a special issue of The Computer Journal 2009; doi: 10.1093/comjnl/bxp052; see also an online version).

• Sam Staton and G. Winskel, On the expressivity of symmetry in event structures, LICS 2010