2008-08-29から1日間の記事一覧
AlfaloのInerface Automataは、いわゆるsafety-game理論に基づきインターフェースのスリ合わせをする体系なのですが、どうも、それってプロセス代数では何?とおもってはいました考えてみると、通信関数とを使った並行結合(||)演算で、通信出来ないところを…
AlfaloのInerface Automataは、いわゆるsafety-game理論に基づきインターフェースのスリ合わせをする体系なのですが、どうも、それってプロセス代数では何?とおもってはいました考えてみると、通信関数とを使った並行結合(||)演算で、通信出来ないところを…