Bahasa Pemodelan TLA+

TLA adalah bahasa pemodelan untuk memodelkan suatu sistem.

Resource:

• http://research.microsoft.com/en-us/um/people/lamport/tla/tla-intro.html
• TLA homepage: http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html
• Wikipedia entry https://en.wikipedia.org/wiki/TLA%2B