ymkwt https://blog.hatena.ne.jp/ymkwt/ CSP(Communicating Sequential Processes) https://ymkwt.hatenadiary.org/ 代数演算子 interleaving P|||Q はプロセスP,Q がイベントで同期せずに、完全に独立して動作することを表す。例えば、以下のようなMIKEとRISAの動作を考える。 channel coin, coke, cider,lemonade, drink MIKE = coin -> ( coke -> drink -> SKIP |~| cider -> drink -> SKIP ) RISA = coin -> lemonade -> drink -> SKIP MIKEはコーラかサイダーを飲み、RISAはレモネードしか飲まないとする。MIKEとRISAは共通のイベントcoin, drin… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fymkwt.hatenadiary.org%2Fentry%2F20090425%2Fp2" title="interleaving - 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:01 rich https://ymkwt.hatenadiary.org/entry/20090425/p2 1.0 100%