CSPJAPANCSPモデルプログラミング Welcome to CSP Model Programming CSPモデルに基づく並列・分散プログラミングを紹介する総合的なホームページです。 CSP（Communicating Sequential Processes）は、1978年にC.A.R.Hoarが発表したプロセス代数です。日本語に訳すと「通信しながら進行する複数の逐次プロセス」とでもなりますが、一般的に単にCSPと呼ばれています。1980年代にはこのCSPモデルに基づいて並列処理プロセッサTransputerとその並列処理言語OCCAMが開発され、その革新的な設計手法とアーキテクチュアにより一世を風靡したことは有名です。1990年代に入るとCPUの高速化とネットワーク環境の発展を背景に、CSPモデルに基づく並列・分散処理の研究開発がヨーロッパを中心に急速に進展しました。現在では、JAVA言語や
