Dining philosophers: Difference between revisions
Content added Content deleted
(Added Oz.) |
(→{{header|Oz}}: simplified) |
||
Line 616:
proc {Start}
Forks = {
in
{ForAll Forks NewFork}
for
Name in Philosophers
|