MSCとProcess Algebra

先日のプロトコル合成の方式は、定式化にはほど遠いが、実務上は用をなした。しかし結果は、現状とそんなに差がないので、仕掛けを講じた割に出てきたせいかは小さいきがする。そんなもんかなあと少しへこむ。

ところでモデルチェッキング本

の著者でもある Doron Peledが書いたMSC関係の論文を発見する、PAとはまた異なった趣だが、一読の価値はありそうだ。

ところでDoronは二枚目だ。