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

*From*: Nine Fingers <gapil879@xxxxxxxxx>*Date*: Thu, 20 Jun 2024 14:21:35 -0700 (PDT)*References*: <38ecd338-90a9-4fbf-827d-4d6a04d2bcfbn@googlegroups.com> <442e82a4-5d13-4f78-899b-72284f5944den@googlegroups.com>

Hi Leslie,

I'd like to provide a suggestion of including some of the concepts of your "Computation and State Machines" paper in the book, especially the first parts regarding state machines, they were particularly illuminating for me and they provide a nice mental model for TLA+ and a rationale for why it works the way it does.

Em sexta-feira, 1 de março de 2024 às 22:05:00 UTC-3, Leslie Lamport escreveu:

An extensively revised draft ofA Science of Concurrent Programsis available at the same place. Chapter 2, which describes ordinary math, has been simplified and made much shorter. Much of the material that used to be there has been moved later in the book to where it is first needed. Comments and error reports are still welcome.On Wednesday, January 3, 2024 at 11:14:24 AM UTC-8 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/52b3cb02-32fd-41d2-860e-3502caeda2dcn%40googlegroups.com.

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

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

- Prev by Date:
**Re: [tlaplus] Question: how to describe the network message from ewd687a/EWD687aPlusCal.tla in Rust?** - Next by Date:
**Re: [tlaplus] Question: how to describe the network message from ewd687a/EWD687aPlusCal.tla in Rust?** - Previous by thread:
**[tlaplus] Re: Draft of New TLA Book** - Next by thread:
**[tlaplus] Historical tla2tools.jar rolling builds** - Index(es):