A temporal logic for reasoning about partially ordered computations (1984)

by S S Pinter, P Wolper
Venue:In Proc. 3rd ACM Symposium on Principles of Distributed Computing