An Axiomatization of Lamport's Temporal Logic of Actions.

Martn Abadi

Browse the full CONCUR paper archive.