CS计算机代考程序代写 471 (perfect shuffle) Write a specification for a computation that repeatedly reads an input on either channel c or d . The specification says that the computation might begin with either channel, and after that it alternates.

471 (perfect shuffle) Write a specification for a computation that repeatedly reads an input on either channel c or d . The specification says that the computation might begin with either channel, and after that it alternates.
¡ì The specification is C ¡Å D , where C = c?. D
D = d?. C
Another solution is (ok ¡Å c?). P , where
P =d?. c?.P