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

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