関連(団体)サイト、リンク 大学関係 Kent大学　http://www.cs.kent.ac.uk/ Twente大学　http://www.ce.utwente.nl/ インペリアル・カレッジ　http://www.doc.ic.ac.uk/ UCバークレー校　http://www.berkleyj.edu/ 企業 JCSP Network Editionを用いた携帯アプリ　http://www.quickstone.com/ CSP関連団体 CSP User Group　http://cmsweb.brookes.ac.uk/research/csp_users/cspug.htm/ OpenLicenseSociety　http://www.openlicensesociety.org/ Z User Group　http://www.zuser.org/ WoTUG(World occam Transputer User Group)　http://www.wotug.org/ 旧WoTUGサイト　http://wotug.ukc.ac.uk/parallel/ CSP関連ツール KRoC(occam)ダウンロード　http://www.cs.kent.ac.uk/projects/ofa/kroc/ C++CSPダウンロード　http://www.cs.kent.ac.uk/projects/ofa/c++csp/ JCSP Base Editionダウンロード　http://www.cs.kent.ac.uk/projects/ofa/jcsp/ CSPの検証ツールFDR2(Formal Systems)　http://www.fsel.com/ CSPの教科書がpdfファイルで配布されている　http://www.usingcsp.com/ CSP-Prover　http://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html SpaceWire(IEEE1355) 　http://www.estec.esa.nl/tech/spacewire/ Twente大学のCTJ　http://www.ce.utwente.nl/javapp/ CSPモデルをJavaに用意したもの（インペリアル・カレッジ版）　http://www.doc.ic.ac.uk/~jnm/book/ CSP関連情報 2000年稲盛財団京都賞（先端技術部門） http://www.inamori-f.or.jp/KyotoPrizes/contents_j/laureates/kp_pastidx.html Formal Methods 　http://www.afm.lsbu.ac.uk/fm/ CSP Archive　http://www.afm.lsbu.ac.uk/csp/