Temporal Logic of Actions (TLA) Leslie Lamport John A. Akinyemi Department of Computer Science University of Manitoba, Winnipeg, Canada Course: 74.757.