Tidex: a mutual exclusion lock.

Pedro Ramalhete Andreia Correia

Published in: PPOPP (2016)

Keyphrases

mutual exclusion
long distance
temporal planning
concurrency control
locking protocol
planning domains
learning algorithm
machine learning
ai planning
read write