Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:396 - 19 self