CSP (Communicating Sequential Processes)

  • メッセージによる同期/情報交換パラダイム
  • Synchronization by message transfer
    • 入出力を備えた逐次プロセスで並行プログラムを構成
    • Communication between sequential processes via communication channel
    • 共有メモリ利用が普通だった
    • No shared memories
  • 解説, 書籍
  • Books
  • Occam言語で利用
  • Available on Occam