Leslie Lamport has announced the upcoming publication of his book, A Science of Concurrent Programs, by Cambridge University Press. The final draft of the pdf version of the book is now available, along with TLA+ specifications of examples from the book. The pdf is copyrighted and should only be used for personal purposes. A zip file containing supporting materials is also available, with instructions on how to use it included in the README.pdf file. Get ready to dive into the world of concurrent programs with this comprehensive resource.
https://lamport.azurewebsites.net/tla/science-book.html