[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Off Topic? Guarded commands...

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?


> 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.