In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 121-139. Berlin, Heidelberg, New York: Springer-Verlag, 1988.
Abstract: A logic is introduced, tailored for causality based partial order semantics of non-sequential systems. Properties which are essential for such sytems can be formulated in the logic. Technically, the system model is the most fundamental version of Petri Nets. A logic for detached runs is studied, which resembles the purposes of Linear Time Temporal Logic for Inerleavings.