Difference between revisions of "TLA+"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[http://lamport.azurewebsites.net/tla/tla.html TLA+] is a programming language for modeling distributed and concurrent systems of any kind. | [http://lamport.azurewebsites.net/tla/tla.html TLA+] is a programming language for modeling distributed and concurrent systems of any kind. There are a few books<ref>{{:Book/Specifying Systems}}</ref><ref>{{:Book/Practical TLA+}}</ref> that are written to guide people using [[TLA+]]. | ||
<noinclude> | <noinclude> | ||
Latest revision as of 03:03, 13 June 2022
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.