Skip to content. | Skip to navigation
プロセス (x -> P | x -> Q) は，まず x を行い，それから P または Q の振る舞いをする．
COIN = (toss -> heads -> COIN |toss -> tails -> COIN ).
