Difference between TLA and TLA+

60 views

Skip to first unread message

MK Bug

unread,

Aug 18, 2019, 1:24:47 PM8/18/19

to tlaplus

Please can anyone share the difference between TLA and TLA+.

Ian Morris Nieves

unread,

Aug 18, 2019, 11:28:00 PM8/18/19

to tlaplus

TLA provided a mathematical foundation to the specification language TLA⁺, introduced with the paper "Specifying Concurrent Systems with TLA⁺" in 1999.

(Wikipedia)

You can read the awesome article I pulled that from at:

https://en.wikipedia.org/wiki/TLA%2B

best,

ian

jansh...@gmail.com

unread,

Sep 10, 2019, 11:06:24 AM9/10/19

to tlaplus

Thanks for the response.

Reply all

Reply to author

Forward

0 new messages