Hatena::ブログ(Diary)

CSP(Communicating Sequential Processes)

2009-12-31

CONTENTS

サイトの説明

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

学習の流れ
  1. CSP概要
  2. FDR2とは
  3. 代数演算子
  4. Trace
  5. Stable Failure
  6. Refinement
小論文
  1. CSPの有用性と課題