Event structures with higher-order dynamics
Karcher, David S.![Event structures with higher-order dynamics](https://support.digitalhusky.com/media/annotations/sorted/303/30383981/CHSBZCOP0330383981.jpg)
Event Structure were introduced in 1979 [18] as a formal model to connect the theory of Petri nets and domain theory. Originally they consisted of atomic non-repeatable events, a binary causal dependency relation, and a binary conflict relation between those events. For a long time various extensions of the original formalism were used to define semantics for other structures such as classes of Petri nets and process calculi. In this thesis th...