An Axiomatization of Lamport's Temporal Logic of Actions.

Martín Abadi An Axiomatization of Lamport's Temporal Logic of Actions. 57-69 1990 conf/concur/1990 CONCUR db/conf/concur/concur1990.html#Abadi90 http://dx.doi.org/10.1007/BFb0039051