Login / Signup

A quorum-based algorithm for parameterized semaphore operations.

Mitchell L. NeilsenMasaaki Mizuno
Published in: J. Syst. Softw. (1993)
Keyphrases