Open AccessAn Introduction to Event Structures
Author(s) -
Glynn Winskel
Publication year - 1989
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v18i278.6655
Subject(s) - petri net , computer science , event (particle physics) , consistency (knowledge bases) , programming language , semantics (computer science) , event structure , theoretical computer science , artificial intelligence , mathematics , statistics , physics , quantum mechanics
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.