An Efficient Solution to the Mutual Exclusion Problem Using Unfair and Weak Semaphore.

Sibsankar Haldar D. K. Subramanian

Published in: ACM SIGOPS Oper. Syst. Rev. (1988)

Keyphrases

mutual exclusion
long distance
integer programming
linear equations
information retrieval
objective function
temporal planning