当面の方向性(061227)

研究 主テーマ

大分停滞している気もするが、とりあえず方向性を列挙

  • PA関係
    • IMPOSEをPAPに拡張する（記号と意味の追加)
    • matchingをprojectionとsimulation関係で定義する
    • １つのProcess Termを分解(例えばA/Gとか)する方法
    • 回路組み合わせがA/Gに基づくproof graph構造になることを示す
  • 指折り算関係
    • matching 条件をみたす２つのFSM間で、片方の属性がもう片方でどうなるか？
    • 時相属性(LTL的なもの)をPAPでどう表現するんだろう？
  • システム行列
    • なんか別のアイデアがひつようだろうなあ。