(developerWorks)http://www-6.ibm.com/jp/developerworks/java/050722/j_j-csp1.htmlマルチスレッドプログラミングの話。CSPというので数学的に平行性の問題をチェックできるみたい。Processes)として知られる、スレッド同期に関する厳密な数学理論を使って、設計時に処理するのが最善なのです。Hoareによって開発されたCSPでは、CSP構成体やCSPツールを使って構築されたシステムには並行性に関する一般的な問題が無い、ということを効果的に証明できるのです。CSPの説明はこの文書にはない。