A Decidable Temporal Logic to Reason About Many Processes.

E. Allen Emerson, Jai Srinivasan

Browse the full PODC paper archive.