MSCのライバルMTS(Modal Transition System)をやっているUchitelに対抗すべく 理論武装のため、合成派の古典論文であるPnueliの"On the synthesis of a reactive module"を読んだ。 リアクティブシステムは環境からの入力変数xに対して動作してyを環境に対し…

いわゆるReactive Systemは、プロセス代数上は再帰方程式で表現されますが、 複数のプロセスを（加算）合成する場合には注意が必要なことに気づく。 いわゆる追い越し問題。正しい合成ができる条件程度の検討をしましたが、まだまだつっこみが 甘いですね。…

最近Maudeにはまっている。 項書き換えシステムなんですが、等式論理や、書換論理を取り込み なんかパーサーから実行からなんから全部出来るシステムにみえます。当面、ACPおよびACPを使ったProces Termの簡略化なんかをTRSで 書いてみるというのに使えるか…