An Introduction to Event Structures
DOI:
https://doi.org/10.7146/dpb.v18i278.6655Resumé
Event structures are models of processes as events constrained by relations of consistency and enabling. These notes are intended to introduce the mathematical theory of event structures, show how they are related to Petri nets and Scott domains, and how they can be used to provide semantics to programming languages for parallel processes as well as languages with higher types.Downloads
Publiceret
1989-04-01
Citation/Eksport
Winskel, G. (1989). An Introduction to Event Structures. DAIMI Report Series, 18(278). https://doi.org/10.7146/dpb.v18i278.6655
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.