NEWMAN, CHRISTIAN wrote: > Can guarded commands be surrounded by a while loop? On part of me > feels that guarded commands don't need to be surrounded by loops, > but the other half of me feels that would need to be done in some > cases... Guarded commands are executed non-deterministically, a while-loop is a deterministic construct. Thanks, -- Mikhail