(en) Joseph Halpern et Yoram Moses, « Knowledge and Common Knowledge in a Distributed Environment », Journal of the ACM, vol. 37, no 3, , p. 549-587 (lire en ligne [PDF])
Noga Alon, László Babai et Alon Itai, « A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent Set Problem », J. Algorithms, vol. 7, no 4, , p. 567-583 (DOI10.1016/0196-6774(86)90019-2).
Michael Luby, « A Simple Parallel Algorithm for the Maximal Independent Set Problem », SIAM J. Comput., vol. 15, no 4, , p. 1036-1053 (DOI10.1137/0215074).
Bowen Alpern et Fred B. Schneider, « Defining Liveness », Inf. Process. Lett., vol. 21, no 4, , p. 181-185 (DOI10.1016/0020-0190(85)90056-0)
Maged M. Michael, « Safe Memory Reclamation for Dynamic Lock-Free Objects Using Atomic Reads and Writes », Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing (PODC), , p. 21–30 (DOI10.1145/571825.571829).
Maurice Herlihy, Victor Luchangco et Mark Moir, « The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures », Lecture Notes in Computer Science, Toulouse, vol. 2508 « Proceedings of the 16th International Symposium on Distributed Computing (DISC) », , p. 339–353 (DOI10.1007/3-540-36108-1_23).
Michael Ben-Or, Shafi Goldwasser et Avi Wigderson, « Completeness theorems for non-cryptographic fault-tolerant distributed computation », Providing Sound Foundations for Cryptography, Association for Computing Machinery, , p. 351–371 (ISBN978-1-4503-7266-4, DOI10.1145/3335741.3335756).
(en) Michael J. Fischer, Nancy A. Lynch et Michael S. Paterson, « Impossibility of Distributed Consensus with One Faulty Process », Journal of the ACM, vol. 32, no 2, , p. 374-382 (lire en ligne [PDF])
kfupm.edu.sa
eprints.kfupm.edu.sa
(en) Cynthia Dwork, Nancy Lynch et Larry Stockmeyer, « Consensus in the presence of partial synchrony », Journal of the ACM, vol. 35, no 2, , p. 288-323 (lire en ligne [PDF])
microsoft.com
research.microsoft.com
(en) Leslie Lamport, « Time, Clocks, and the Ordering of Events in a Distributed System », Communications of the ACM, vol. 21, no 7, , p. 558-565 (lire en ligne [PDF])
(en) Marshall Pease, Robert Shostak et Leslie Lamport, « Reaching agreement in the presence of faults », Journal of the ACM, vol. 27, no 1, , p. 228-234 (lire en ligne [PDF])
rice.edu
cs.rice.edu
(en) John M. Mellor-Crummey et Michael L. Scott, « Algorithms for scalable synchronization on shared-memory multiprocessors », ACM Transactions on Computer Systems, vol. 9, no 1, (lire en ligne [PDF])
(en) Baruch Awerbuch et David Peleg, « Sparse Partitions », Proceedings of the Annual Symposium on Foundations of Computer Science (FOCS), , p. 503-513 (lire en ligne [PDF])
tau.ac.il
cs.tau.ac.il
(en) Robert G. Gallagher, Pierre A. Humblet et Philip M. Spira, « A Distributed Algorithm for Minimum-Weight Spanning Trees », ACM Transactions on Programming Languages and Systems, vol. 5, no 1, , p. 66-77 (lire en ligne [PDF])
ucsd.edu
www-csag.ucsd.edu
(en) Edsger Wybe Dijkstra, « Self-stabilizing systems in spite of distributed control », Communications of the ACM, vol. 17, no 11, , p. 643-644 (lire en ligne [PDF])