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

*From*: Sergey Bronnikov <estetus@xxxxxxxxx>*Date*: Sun, 14 Jan 2024 08:28:14 -0800 (PST)*References*: <38ecd338-90a9-4fbf-827d-4d6a04d2bcfbn@googlegroups.com>

Hi, Leslie!

Thanks for the book!

There is a typo in "4.2.5.3 Proving Liveness" (p. 132):

> Since Λ equals 2Λ, and once 2Λ is true it is true forever, this formula is equivalent to Λ ∧ G ; H 1 ∨ . . . ∨ H j.

> (This follows from (3.32c).and propositional logic.)

seem there is an extra dot before "and"

Sergey

среда, 3 января 2024 г. в 22:14:24 UTC+3, Leslie Lamport:

On Wednesday, January 3, 2024 at 10:14:24 PM UTC+3 Leslie Lamport wrote:

A draft of a new book I have tentatively titledA Science of Concurrent Programsis available here. The book explains the scientific principles underlying the TLA+ language. It contains a lot of math. All the math beyond high school algebra is explained, but it will be tough going for readers who haven't taken an introductory university math class for computer science students that covers things like sets and logic. The book contains little discussion of how TLA+ is used in practice, but it explains why TLA+ is what it is.This is a preliminary version and I welcome comments, suggestions, and questions. Anyone who is the first to report any error will be thanked in the final version.

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 on the web visit https://groups.google.com/d/msgid/tlaplus/c5eeccab-1cd9-4d1f-a537-d6b3d138682dn%40googlegroups.com.

**Follow-Ups**:**RE: [tlaplus] Re: Draft of New TLA Book***From:*'Leslie Lamport' via tlaplus

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

- Prev by Date:
**Re: [tlaplus] Checking matrix multiplication correctness** - Next by Date:
**[tlaplus] Where to put proofs on a SetSum?** - Previous by thread:
**[tlaplus] Re: Draft of New TLA Book** - Next by thread:
**RE: [tlaplus] Re: Draft of New TLA Book** - Index(es):