Science of Concurrent Programs

Leslie Lamport