The Information Structure of Distributed Mutual Exclusion Algorithms.

Beverly A. Sanders

Published in: ACM Trans. Comput. Syst. (1987)

Keyphrases

structural information
orders of magnitude
mutual exclusion
hierarchical structures
learning algorithm
data structure
information extraction
information sources
model checking