|
A Science of Concurrent Programs
Leslie Lamport
Last modified on 11 March 2026
|
|
The book A Science of Concurrent Programs is scheduled to be
published by Cambridge University Press in late March, 2026. The
publisher's web page for the book is
here.
This web page contains links to a pdf version of the book and to
supporting material and an errata sheet for it. Errors listed in
the errata sheet have been corrected in the pdf version.
- The PDF Version of the Book
-
This file is copyright © 2024 by Leslie
Lamport.
It may not be reproduced or distributed for commercial
purposes, or for any purpose other than personal use, without the
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
and instructions on how to use them. This material is contained
in a zip file. Unzipping the file produces a folder named
book-specs containing a number of files and subfolders.
Read the file README.pdf for instructions about how to use
the material.
Zip File
- The Errata Sheet
-
This pdf file lists all errors in the book that have been
reported.
Please report any errors you find by
email at the address obtained by reversing the order of the
characters in the ten-letter string
ll.sulpalt and appending
@gmail.com to it.
PDF File
|