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

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