How to make a correct multiprocess program execute correctly on a multiprocessor (1997)

by Leslie Lamport
Venue:IEEE Transactions on Computers
Citations:40 - 3 self