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

Re: Practical TLA+ now out

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Wed, 6 Feb 2019 18:11:43 -0800 (PST)
References: <16874f9a-1dce-4c81-9b03-637d7fcf877e@googlegroups.com>

Before reading the book, people might want to check out this page from the TLA+ site

https://lamport.azurewebsites.net/tla/practical-tla.html?back-link=learning.html#hillel?unhideBut@EQhide-hillel@AMPunhideDiv@EQhillel

Follow-Ups:
- Re: [tlaplus] Re: Practical TLA+ now out
  - From: lorinh@xxxxxxxxx

References:
- Practical TLA+ now out
  - From: Hillel Wayne

Prev by Date: Re: How does Fairness relate to the State Graph
Next by Date: Re: [tlaplus] Re: Practical TLA+ now out
Previous by thread: Re: [tlaplus] Re: Practical TLA+ now out
Next by thread: Re: [tlaplus] Re: Practical TLA+ now out
Index(es):
- Date
- Thread