Paul Caspi Nicolas Halbwachs Algebra of events: a model for parallel and real time systems. 150-159 1982 ICPP conf/icpp/1982 db/conf/icpp/icpp1982.html#CaspiH82