An Axiomatization of Lamport's Temporal Logic of Actions

CONCUR (1990), pp. 57-69

Abstract