Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:307 - 19 self

Document Versions

Proving the Correctness of Multiprocess Programs –Leslie Lamport — 1977