×

zbMATH — the first resource for mathematics

Event structures. (English) Zbl 0626.68022
Petri nets: applications and relationships to other models of concurrency, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 255, 325-392 (1987).
[For the entire collection see Zbl 0619.00024.]
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 languages like CCS and CSP and languages with higher types.

MSC:
68N25 Theory of operating systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)