プロセス代数CSP - CSP(Communicating Sequential Processes)Communicating Sequential Processes（CSP）とは並行システムを相互作用するプロセスの群として捉え記述し、その正しさを数学的に証明するための仕様記述言語である。 ここで、相互作用とは特にイベントと呼ばれシステムに応じて定義する。プロセスはイベントとCSPの代数演算子により以下のように定義される。 PROC = SKIP (正常終了) STOP (停止) event -> PROC (接頭辞 prefix) PROC \ {c} (隠蔽 hiding) PROC [[e1<-e2]] (変更 renaming) PROC ; PROC (逐次 sequential) PROC /\ PROC (割り込み interrupt) PROC [> PROC (untimed timeout) PROC [] PROC (外部選択 external choice) P
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
構成的アルゴリズム論 | CiNii Research
https://dl.acm.org/citation.cfm?id=63337
