CSP
Communicating Sequential Processes
並行システムの振る舞いを記述し，その性質を論証するための数学的理論
1978年にTony Hoareが提案
リアクティブシステム
論文
https://dl.acm.org/citation.cfm?doid=359576.359585
「プロセス」
必要な入力を処理し、他のプロセスが消費する出力をもたらすロジックの塊をカプセル化するもの
めっちゃGoのChannelっぽいmrsekut.icon
参考
『Go言語による並行処理』