Ratings by cpressey of TLA(plus) works

The Temporal Logic of Actions

• rating: classic

.

The TLA+ Home Page

• rating: 1

.

Learn TLA+ --- Learn TLA+

• rating: 1

.

Practical TLA+ by Hillel Wayne

• rating: 1

.

tlaplus/PlusPy: Python interpreter for TLA+ specifications

• rating: 2

.