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

[tlaplus] Re: Draft of New TLA Book

From: Leslie Lamport <tlaplus.ll@xxxxxxxxx>
Date: Wed, 30 Oct 2024 10:26:05 -0700 (PDT)
References: <38ecd338-90a9-4fbf-827d-4d6a04d2bcfbn@googlegroups.com>

The book A Science of Concurrent Programs will be published by Cambridge University Press. A copy of the final draft of the pdf version and TLA+ versions of many of the examples from the book are available here.

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/3c9c5f82-9bbd-4b0d-a43f-ee2d27e091f1n%40googlegroups.com.

References:
- [tlaplus] Draft of New TLA Book
  - From: Leslie Lamport

Prev by Date: Re: [tlaplus] How to approach modelling time?
Next by Date: [tlaplus] Modelling application: reuse modules for database access and processes?
Previous by thread: [tlaplus] Re: Draft of New TLA Book
Next by thread: [tlaplus] Historical tla2tools.jar rolling builds
Index(es):
- Date
- Thread