Event ordering condition for correct executions in shared-memory systems | IEEE Conference Publication | IEEE Xplore