Arbeitspapiere der GMD No. 353. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, 1988.
Abstract: Partial Order Logics have the same operators as linear time logic but their axiomaitc reflects properties of partial orders, ie the occurrence ordering of the components of the system. The aim of this work is to find an axiomatic basis justifying the use of temporal logic in net theory and expressing the semantics of Partial Order Logics.