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