A Science of Concurrent Programs

A Science of Concurrent Programs

Leslie Lamport<br>Last modified on 25 March 2026

The book A Science of Concurrent Programs is scheduled to be<br>published by Cambridge University Press in early April, 2026. The<br>publisher's web page for the book is<br>here.

This web page contains links to a pdf version of the book and to<br>supporting material and an errata sheet for it. Errors listed in<br>the errata sheet have been corrected in the pdf version.

The PDF Version of the Book

This file is copyright &copy; 2024 by Leslie<br>Lamport.<br>It may not be reproduced or distributed for commercial<br>purposes, or for any purpose other than personal use, without the<br>prior written permission of the author or Cambridge University Press.

PDF File

The Supporting Material

This contains TLA+ specifications of many of the examples in the book<br>and instructions on how to use them. This material is contained<br>in a zip file. Unzipping the file produces a folder named<br>book-specs containing a number of files and subfolders.<br>Read the file README.pdf for instructions about how to use<br>the material.

Zip File

The Errata Sheet

This pdf file lists all errors in the book that have been<br>reported.<br>Please report any errors you find by<br>email at the address obtained by reversing the order of the<br>characters in the ten-letter string<br>ll.sulpalt and appending<br>@gmail.com to it.

PDF File

Back