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