Leslie Lamport, of LaTeX fame, is a very accomplished mathematician and computer scientist with a Turing award for his work on “fundamental contributions to the theory and  
practice of distributed and concurrent systems”. He just published a draft of his new book:

"A science of concurrent programs"

<https://lamport.azurewebsites.net/tla/science.pdf>

True to his pedagogic approach to everything he does, "The book assumes only that you know the math one learns before entering a university." Even the appendices are fantastic. Can only wish I'll remain this lucid at his 82 years old.

[#multithreading](https://mathstodon.xyz/tags/multithreading) [#maths](https://mathstodon.xyz/tags/maths) [#LesleyLamport](https://mathstodon.xyz/tags/LesleyLamport)