Document Versions

The Temporal Logic of Actions –Leslie Lamport — 1993
The Temporal Logic of Actions –Leslie Lamport — 1993
A Temporal Logic of Actions –Leslie Lamport — 1990 — ACM Transactions on Programming Languages and Systems
The Temporal Logic of Actions –Leslie Lamport — 1994
The Temporal Logic of Actions –Leslie Lamport — 1991