In: Fundamenta Informaticae, Vol. 11, pages 297-326. 1988.
Abstract: A temporal logic for event sructures based on a partial order frame of local states is presented. Two modalities, for causality and conflict, are introduced. Completeness of the axiom system is proved. The finite model property and decidability are discussed.