Re: [tlaplus] Question about Science of Concurrent Programs: Status

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

Lamport is retired retired, so there is currently no public way to contact him and report errors. Once the physical edition is published by Cambridge (unsure when that will be) perhaps the TLA+ Foundation can start & maintain a list of errata. It's a bit odd for errata to be maintained by a non-author but we have enough collective TLA knowledge that it seems feasible.

Of course, it's perfectly possible that Lamport still reads this mailing list, so discussing errors seems like a good use of it! Personally I remember being a bit suspect of the latter half of section 5.1.2 on page 112 "Expressing Possibility in TLA+" but would need to take some time to re-read it and flesh out my confusion.

Andrew

On Wed, Nov 19, 2025 at 7:31 AM Dave Hughes <dbahughes@xxxxxxxxx> wrote:

All,

 I have been studying this for a month or two now – and I am wondering about its status: on the opening page it suggests that you can provide error reporting – but there is no contact – and as far as I can see no way to contact the author – who is retired of course. Is this document to be maintained by the foundation? Or is it just what it is?

 Is there any list of corrections? 

Thanks 

Dave Hughes

--
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/d66ac4bd-7425-4905-8ed8-abc36a2168dan%40googlegroups.com.

-- 
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/CABj%3DxUUcixUCH12joGHYxp12YmXDrBbf4nCYoO%3D9wjuDOJeVVQ%40mail.gmail.com.