DMCA

Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:390 - 17 self