平成18年7月14日 今後の活動予定を更新しました。

当コンソーシアムの入会はこちらから。

平成17年1月20日 CSP(Communicating Sequential Process)は、1979年Oxford大学のHoare教授によって考案されたプロセス代数です。以来25年以上、大学や産業界から大きな評価を得て発展してきました。CSPモデルは、occamと呼ばれる言語に具現化され、従来プロセス指向だけが対象でした。しかし現在では、オブジェクト指向と融合し、Java,やC++にライブラリーとして供給され(JCSP,C++CSP)、高性能なシステムの実現だけでなく、安全なシステムが構築できるようになりました。従来Transputerと呼ばれたマイクロプロセッサー上でしか動作しなかった並列処理言語occam(KRoC)は、現在Linuxマシン上でも実行可能となり、アプリケーションをネットワーク上で高速に並列処理できるようになりました。