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