Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Designing Distributed Systems with TLA+

Designing Distributed Systems with TLA+



Hillel Wayne introduces the ideas behind TLA+, a specification language that describes a system and its properties, and how it works, with a focus on practical examples.


Hillel Wayne is a software consultant in Chicago who specialises in formal specification. He is the author of Learn TLA+ (, currently writing Practical TLA+ (Apress, est 2018), and is on the Alloy Adoption and Outreach working group.

About the conference

Code Mesh LDN, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.

Recorded at:

Apr 26, 2019