ACM SIGOPS Operating Systems Review · 1991 · 114 citations · 20 references
ComputingComputer ScienceComputer SystemsAlgorithmsCryptographyDistributed SystemsDistributed AlgorithmsDistributed ComputingDistributed CoordinationDistributed Mutual ExclusionDistributed SynchronizationSynchronization PrimitivesMutual ExclusionPermission-based Mutual ExclusionToken Ring Mutual ExclusionToken-based Coordination
This short paper examines the two basic principles from which distributed mutual exclusion algorithms are designed : permission-based and token-based principles. This presentation is done in a pedagogical way and is illustrated by references to existing algorithms.
20
Weighted voting for replicated data
David K. Gifford · 1979 · 1.3K citations · Full text
Hierarchical correctness proofs for distributed algorithms
Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text