[cs63201] on homework 1

[Mikhail Nesterenko]

* for all programs you can by default assume interleaving semantics of
  program execution.

* in problem 6 there is no decide event at the initiator. The answer
  does not depend on the lack of decide event. So do not focus on it.
  The decide event is skipped to simplify the code.

thanks,
--
Mikhail