Comparison C4: Dining Philosophers - Definition

SNE 1(3), 1991, 28-29