jorgemp@icmc.sc.usp.br writes:
> I just thought that one entailed guard is enough, isn't it?
Of course not: you cannot commit to a clause until all others are
disentailed. Remember the full syntax:
or G1 then F1
[] G2 then F2
...
[] Gn then Fn
end
if G2 through Gn are disentailed, then the `or' reduces to
G1 F1 (modulo some tricky details of concurrency in the G1).
In cases where there remains more than one non-disentailed guard, the
`or' continues to block.
Cheers,
-- Dr. Denys Duchier Denys.Duchier@ps.uni-sb.de Forschungsbereich Programmiersysteme (Programming Systems Lab) Universitaet des Saarlandes, Geb. 45 http://www.ps.uni-sb.de/~duchier Postfach 15 11 50 Phone: +49 681 302 5618 66041 Saarbruecken, Germany Fax: +49 681 302 5615 - Please send submissions to users@mozart-oz.org and administriva mail to users-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.