[cs63201] Question

[Mikhail Nesterenko]

> In your notes it states that an atomic operation cannot interleave
> with other atomic operations... I was just wondering, wouldn't one
> guarded command executing after another guarded command be
> interleaving?

In this cease "interleaving" means "overlapping". That is, one atomic
guarded command execution does not overlap with another.  Note that in
case of powerset semantics or synchronous command execution, several
guarded commands can be executed at the same time. That is, if they
are enabled in a state of a computation, they are executed to produce
the next state.

thanks,
-- 
Mikhail