コンテンツページを表示する。 | ナビゲーションへ移動
プロセス (x -> P | x -> Q) は，まず x を行い，それから P または Q の振る舞いをする．
COIN = (toss -> heads -> COIN |toss -> tails -> COIN ).
