AlfaloのInerface Automataは、いわゆるsafety-game理論に基づき
インターフェースのスリ合わせをする体系なのですが、どうも、それってプロセス代数では何？とおもってはいました
考えてみると、通信関数
と
を使った並行結合(||)演算で、通信出来ないところを
で
消去していってのこった、再帰方程式は結局interface automataにおけるcomposiion計算と同じことが判明しました。
inteface automata はsafety-gameに基づいていて、プロセス代数は再帰方程式の展開と消去でできていて、
なんかメカニズムがにてない。
