ベルギーのAltreonic社はインテル社のSCCチップ(48個のマルチコア)にOpenComRTOSを移植。OpenComRTOSはCSP/occamのモデルです。詳しくは以下のサイトをご覧になって下さい。超並列コンピューティングで正しい結果が得られるのはCSPモデルだけです。Language)と呼ばれます論理合成ツールの開発ならびに販売をしています。NSLはCSP/occamモデルが採用されています。詳しくはここをご覧になって下さい。Mount氏がEuropythonで発表されたpython-cspの資料があります。PyCSPの開発は近々デンマークのコペンハーゲン大学と合流するようです。モデル検証からアプリケーションまで公開!!更に「正しいプログラミング言語とは?」と言った話題が議論されます。XMOS学習ボードの販売開始!!倒立ロボットPUPPYもあります。組み込み技術が変わる!!マルチコアによる楽しく学べる並列分散コンピューティングの入門編!!XCプログラミングによるイベント駆動プログラミングが学べます。CSP研究会」平成22年7月10日(土)東洋大学白山キャンパス内にて開催されました。CSP研究会」平成22年3月10日(水)東洋大学白山キャンパス内にて開催されました。Process)は、1979年Oxford大学のHoare教授によって考案されたプロセス代数です。以来30年以上、大学や産業界から大きな評価を得て発展してきました。CSPモデルは、occamと呼ばれる言語に具現化され、Transputer上でしか使えませんでした。現在では、Linux上で動くoccam-π、更にオブジェクト指向と融合し、Java,やC++にライブラリーとして供給され(JCSP/C++CSP)でいます。高性能なシステムの実現だけでなく、安全なシステムが構築できるようになりました。