generated at
CSP
Communicating Sequential Processes
並行システムの振る舞いを記述し，その性質を論証するための数学的理論
1978年にTony Hoareが提案

リアクティブシステム

論文
https://dl.acm.org/citation.cfm?doid=359576.359585

「プロセス」
必要な入力を処理し、他のプロセスが消費する出力をもたらすロジックの塊をカプセル化するもの
めっちゃGoのChannelっぽいmrsekut

参考
『Go言語による並行処理』