CONTENTS

サイトの説明

並行システムなどを研究していてFormal Methods(形式手法)であるCSPに興味を持ったのだが、日本語であまり良い解説・入門サイトがないようなので自分で書いてみようかと思いました。少しでも役に立てれば幸いです。リンク、コメントなどは自由にしてください。

学習の流れ

1. CSP概要
2. FDR2とは
3. 代数演算子
   • prefix（接頭辞）
   • sequential（逐次）
   • recursion（再帰）
   • conditional choice（条件選択）
   • external choice（外部選択）
   • internal choice（内部選択）
   • parallel（並行）
     • 例題１
   • interleaving
   • sharing（共有）
   • hiding（隠蔽）
     • 例題２
   • interrupt(割り込み)
   • renaming(変更)
   • Input/Output(入出力)
   • linked parallel
4. Trace
5. Stable Failure
6. Refinement

小論文

1. CSPの有用性と課題