ymkwt https://blog.hatena.ne.jp/ymkwt/ CSP(Communicating Sequential Processes) https://ymkwt.hatenadiary.org/ 代数演算子 簡単な例 これから幾つかの代数演算子を簡単な例を用いて解説していく。CSPは主に並行システムを記述するものであるが、まずは身近な例であるジュースの自動販売機と購入者の相互作用を例にモデル記述していくことにする。自販機と購入者の動作（イベント）については以下のものを考える。 お金を入れる(coin) ジュースを出す(juice) prefix（接頭辞） prefix '->' は (event) -> (PROCESS) のように使われ、event の後に PROCESS が実行される。(event)->(PROCESS) 自体もまたプロセスとなる。コインを入れるとジュースが出る自動販売機VM(… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fymkwt.hatenadiary.org%2Fentry%2F20090422%2F1240466174" title="prefix(接頭辞) - 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> https://cdn-ak.f.st-hatena.com/images/fotolife/y/ymkwt/20090425/20090425124645.gif Hatena Blog https://hatena.blog 2009-04-22 14:56:14 rich https://ymkwt.hatenadiary.org/entry/20090422/1240466174 1.0 100%