ymkwt https://blog.hatena.ne.jp/ymkwt/ CSP(Communicating Sequential Processes) https://ymkwt.hatenadiary.org/ 代数演算子 interleaving の例において、MIKEとRISAはコインを別々に入れるが、二人で乾杯して同時に飲み始めるような場合はsharing（共有）を使う。 P[|{event}|]Q のように記述すると指定されたイベントで同期し、それ以外のイベントについては interleavingと同じく別々に起こす。 channel coin, coke, cider, lemonade, drink MIKE = coin -> ( coke -> drink -> SKIP |~| cider -> drink -> SKIP ) RISA = coin -> lemonade -> drink -… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fymkwt.hatenadiary.org%2Fentry%2F20090425%2Fp1" title="sharing(共有) - CSP(Communicating Sequential Processes)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-04-25 00:00:00 rich https://ymkwt.hatenadiary.org/entry/20090425/p1 1.0 100%