Inklings: "Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" by Leslie Lamport

"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" by Leslie Lamport

🕑 2014-04-15T12:20:27+00:00; via twitter.com; try the Wayback Machine | edit

Huh. This looks interesting for modelling distributed systems. “TLA” refers to Temporal logic of actions.