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