|
|
|
A Science of Concurrent Programs
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.
- The Book
-
This pdf version of the book is copyright © 2024 by Leslie
Lamport.
It may not be reproduced or distributed for commercial
purposes, or for any purpose other than for personal use, without the
prior written permission of the author or the publisher.
PDF File
- The Supporting Material
- This material is contained in a zip file. Unzipping this
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
|
|
Back
|