Introduction

Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions. It is used to describe behaviours of concurrent systems.

References

1. http://en.wikipedia.org/wiki/Temporal_logic_of_actions