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

Re: TLA+ theory blog post series + new subreddit

From: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>
Date: Thu, 15 Jun 2017 08:09:01 -0700 (PDT)
References: <e94e6084-b49c-4a75-93dd-cbd941bb2d5b@googlegroups.com> <bbb39abb-6686-4feb-9719-21a706334762@googlegroups.com> <ee892e9d-30b3-4aba-aae4-f1a83d7fb85f@googlegroups.com>

The final installment is now online.

Ron

References:
- TLA+ theory blog post series + new subreddit
  - From: Ron Pressler
- Re: TLA+ theory blog post series + new subreddit
  - From: Ron Pressler
- Re: TLA+ theory blog post series + new subreddit
  - From: Ron Pressler

Prev by Date: Re: [tlaplus] Proving equivalence of AlternatingBit to ABCorrectness
Next by Date: Novel queue-lock like concurrent spin-lock formalization in TLA+
Previous by thread: Re: TLA+ theory blog post series + new subreddit
Next by thread: Re: TLA+ theory blog post series + new subreddit
Index(es):
- Date
- Thread