関連(団体)サイト、リンク
【関連するサイト】
2000年稲盛財団京都賞（先端技術部門）
【CSPに関連するプロジェクト、教育】
UK Grand Challenges
CoSMoS
国立情報学研究所 Top SE講座
【関連団体】
CPA
Open License Society
BSP
W3C
SSDL
【関連するモデル検証ツール】
LTSA
FDR
PAT
CSP-Prover
【プログラミング言語】
occam-pi
JCSP
C++CSP
Transterpreter
CHP
XC
Copyright (C) 2010
CSP-Consortium
All Rights Reserved.
