[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Learning TLA+

Useful resources for learning TLA+ are Leslie Lamport's video lectures and the Hyperbook, both accessible from [1], as well as Hillel Wayne's Learn TLA+ site [2]. GitHub contains a collection of TLA+ examples [3], including specifications of distributed algorithms.


On 6 Sep 2018, at 11:42, s.triv...@xxxxxxxxx wrote:


  I am working on a TLA model for distributed algorithm.Can you help me how to get started with tla and test the model.


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.