Login / Signup
Verification of Distributed Mutual Exclusion Algorithms.
Mitchell L. Neilsen
Published in:
PDCCS (2008)
Keyphrases
</>
mutual exclusion
distributed systems
learning algorithm
computational cost
cooperative
significant improvement
theoretical analysis
orders of magnitude
benchmark datasets
long distance