On the Mutual-Exclusion Problem - A Quest for Minimal Solutions.

Uri Abraham Menachem Magidor

Published in: Theor. Comput. Sci. (1994)

Keyphrases

mutual exclusion
long distance
benchmark problems
temporal planning
optimal solution
data management