ホーア(Tony Hoare)による、CSPの教科書の電子版(free)。

CSPの応用、普及しているフォーラム。

日本のCSPの団体。存在を知らなかった。

シンガポール発の、モデル検査ツール（シミュレーションとかもできる）。CSPの拡張(グローバル変数相当もサポート)していて、実用的にしているようで興味深い。他にも確率、リアルタイム性に関する検証ができるようだ。