Glynn Winskel is a professor in the Computer Laboratory, University of Cambridge.
On syntax and semantics of programming languages:
On transition systems and other models for concurrency:
On transition systems, bisimulations and open morphisms:
On category theoretic generalizations of domain theory:
316 1–3 (2004) 153-190 [doi:10.1016/j.tcs.2004.01.029, pdf]
Event structures were introduced in:
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
Last revised on June 17, 2025 at 17:37:17. See the history of this page for a list of all contributions to it.