Re: Off Topic? Guarded commands...

[Michael Vanier <address@hidden>]

I suspected that I was missing something when this topic was first
mentioned and now I'm sure I did.  Can someone give a quick explanation of
what is meant by guarded commands?

Mike


> Date: Wed, 12 Dec 2001 19:49:23 -0500
> From: Viktor Kuncak <vkuncak@mit.edu>
> 
> Peter H. Froehlich:
> 
>  > Isn't that the very "best" property of guarded commands, that they 
>  > are non-deterministic? If you transform something like
> 
> They are nondeterministic, and that makes them handy for some things.
>