Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm.

Kazuhiro Ogata Kokichi Futatsugi

Published in: APAQS (2001)

Keyphrases

detection algorithm
dynamic programming
learning algorithm
k means
search space
significant improvement
worst case
np hard
computational complexity
objective function
preprocessing
constraint satisfaction
recognition algorithm
mutual exclusion
genetic algorithm
optimal solution
similarity measure
search strategy