Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:299 - 19 self