Technical reports
Event structures
Lecture notes for the Advanced Course on Petri Nets
July 1986, 69 pages
DOI: 10.48456/tr-95
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 = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-95.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-95}, number = {UCAM-CL-TR-95} }