Computer Laboratory

Technical reports

Event structures
Lecture notes for the Advanced Course on Petri Nets

Glynn Winskel

July 1986, 69 pages

Abstract

Event structures are a model of computational processes. They represent a process as a set of event occurrences with relations to express how events causally depend on others. This paper introduces event structures, shows their relationship to Scott domains and Petri nets, and surveys their role in denotational semantics, both for modelling laguages like CCS and CSP and languages with higher types.

Full text

PDF (4.0 MB)

BibTeX record

@TechReport{UCAM-CL-TR-95,
  author =	 {Winskel, Glynn},
  title = 	 {{Event structures : Lecture notes for the Advanced Course
         	   on Petri Nets}},
  year = 	 1986,
  month = 	 jul,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-95.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-95}
}