Leslie Lamport Last modified on 25 October 2024 The book A Science of Concurrent Programs will be published by Cambridge University Press.  A final draft of the pdf version of the book is now available.  Also available is supporting material consisting of TLA+ specifications of many of the examples in the book and instructions on how to use them. Downloading The Book This pdf version of the book is copyright © 2024 by Leslie Lamport. It may not be reproduced or distributed for commercial purpose...