Mitchell L. Neilsen

• Dag-based algorithm for distributed mutual exclusion