Event Graphs: Syntax, Semantics, and Implementation | IEEE Conference Publication | IEEE Xplore