A Distributed Algorithm for Parameterized Semaphore Operations. - Mahender Nelakonda; Masaaki Mizuno; Mitchell L. Neilsen (ICCI, 1992)