DMCA

Proving the correctness of multiprocess programs. (1977)

by Leslie Lamport
Venue:IEEE Transactions on Software Engineering,
Citations:391 - 17 self