Post #1981061
2026-05-04 16:28 UTC
Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html
#TLAPlus
Replies (0)
No replies.