後半部の補強

研究 主テーマ

ぐるぐるまわってましたが、とりあえず。形にしました。モザイク模様なのは、D論らしい。
つかれたので、今日は外の空気を吸ってきます。

やったこと

  • ACPとCCSの関係を、前段に移動
  • 実装のところを、うまく整理、
  • シナリオ合成、シナリオマージ（いわゆる後半部）の補強

追加したいこと

  • ▽演算の例で自明でないものをみつける
  • 様相論理(HMLでいいから)の説明をどこかに
    • 特に最大、最小不動点のところは補強しないとわからんずら
  • 全体の整合性、特に同期並行、同時実行、同期並列、もう無茶
  • アービターの部分の補強（参考文献でいいから）