Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:300 - 19 self