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