reading Lamport's paper on multiprocessors