Starvation-free mutual exclusion with semaphores.

Wim H. Hesselink Mark IJbema

Published in: Formal Aspects Comput. (2013)

Keyphrases

mutual exclusion
long distance
temporal planning
machine learning
evolutionary algorithm
planning domains
computer vision
lower bound
computer systems