In: de Bakker, J.W.; et al.: Lecture Notes in Computer Science, Vol. 354: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency., pages 603-627. Springer Verlag, 1989.
Abstract: The author discusses some particular properties of nonsequential systems such as absence of delay and various notions of concurrency. They turn out to be adequately representable in partial order semantics. The most fundamental version of Petri Nets appears to be convenient for such investigations. A (generalized) temporal logic is introduced, covering the intricate relationship among causality, choice and concurrency appearing in distributed systems.