Solved problems, unsolved problems, and nonproblems in concurrency (1984)

by L Lamport
Venue:In Proceedings of the 3rd Annual ACM Symposium on Principles of Distributed Computing