東野研の中田さんの Protocol Synthesis from Context-Free Processes using Event Structures(1998)を読む。 LOTOS風にservice specを記述し、これから eventIDなるものを生成し eventIDは正規言語(regular expression)であることを示し さらにこれから sym…

長い間、システムレベルのSマージを定式化できないか悩んでいたが、 どうも２項関係しかなくて、これを式として組上げることはできそうにない。 せいぜい連立式になって、「全体でシステム」で終わり。そこで、アルゴリズム設計（業務）における連続時間軸の…