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. | ||
<noinclude> | |||
=References= | |||
<references/> | |||
=Related Pages= | |||
[[Category:Programming Language]] | [[Category:Programming Language]] | ||
</noinclude> | |||
Revision as of 02:54, 13 June 2022
TLA+ is a programming language for modeling distributed and concurrent systems of any kind.