A Decidable Temporal Logic to Reason About Many Processes

E. Allen Emerson, Jai Srinivasan. A Decidable Temporal Logic to Reason About Many Processes. In PODC. pages 233-246, 1990. [doi]

Abstract

Abstract is missing.