TLA+ is a programming language for modeling distributed and concurrent systems of any kind. There are a few books^[1]^[2] that are written to guide people using TLA+.

References

↑ Lamport, Leslie (2020). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. local page: Addison Wesley. ISBN 0-321-14306-X.
↑ Wayne, Hillel (2018). Practical TLA+: Planning Driven Development. local page: APress. ISBN 978-1-4842-3828-8.

Related Pages

[1] Lamport, Leslie (2020). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. local page: Addison Wesley. ISBN 0-321-14306-X.

[2] Wayne, Hillel (2018). Practical TLA+: Planning Driven Development. local page: APress. ISBN 978-1-4842-3828-8.

[1]

[2]

TLA+

References

Related Pages

Navigation menu

Search