Patrick Keane, Mark Moir: A General Resource Allocation Synchronization Problem. ICDCS 2001: 557-564