Manuscript En08-A@1 · En08-A.tex · definition · c688d76d
Definition: Event occurrence
Events, dependency, and operational influence › Occurrence identity · lines 350–355
An event is a labelled occurrence of a completed local operation. Its label is retained when independent operations are interchanged. Identical local inputs, outputs, support, or residual states do not by themselves identify two occurrences.