[cs63201] Question addenum

[Mikhail Nesterenko]

> Also, what might be an example of a powerset with guarded commands?


Powerset semantics of program execution: any number of the enabled
guarded commands can be executed. For example:

  There are two processes in the system P and Q. Each has a guarded
  command that is always enabled (the guard is TRUE). Then
  this is a valid computations under powerset semantics:

  S0 -- P --> S1 -- P,Q --> S2 -- Q --> ...

  Note that two guarded commands are executed in the the transition
  from S1 and S2

Thanks,
-- 
Mikhail