TLA, the Temporal Logic of Actions is the core of TLA^{+}. It is a temporal logic that minimizes the use of temporal reasoning in favor of more ordinary mathematics. It is a general mathematical framework for describing and reasoning about algorithms and systems.

The post is here.

### Like this:

Like Loading...