An Axiomatization of Lamport's Temporal Logic of Actions

CONCUR(1990), pp. 57-69

Abstract

Research Areas