CSP(Communicating Sequential Processes)サイトの説明 並行システムなどを研究していてFormal Methods(形式手法)であるCSPに興味を持ったのだが、日本語であまり良い解説・入門サイトがないようなので自分で書いてみようかと思いました。少しでも役に立てれば幸いです。リンク、コメントなどは自由にしてください。 学習の流れ CSP概要 FDR2とは 代数演算子 prefix（接頭辞） sequential（逐次） recursion（再帰） conditional choice（条件選択） external choice（外部選択） internal choice（内部選択） parallel（並行） 例題１ interleaving sharing（共有） hiding（隠蔽） 例題２ interrupt(割り込み) renaming(変更) Input/Output(入出力) linked parallel Trace S
