Linked Data Explorer
Correctness proof and amortization analysis of a log n distributed mutual exclusion algorithm
- "Correctness proof and amortization analysis of a log N distributed mutual exclusion algorithm"
- "Correctness proof and amortization analysis of a log n distributed mutual exclusion algorithm"@en