进程代数(Process Algebra) Process Algebra 理论 提出者 理论名称 缩写 论文链接 简介 C. A. R. Hoare/Tony Hoare Communicating Sequencing Process CSP Communicating Sequential Processes 1978年C. A.R.Hoare提出的通信顺序进程 CSP,是面向分布式系统的程序设计语言 Robin Milner Calculus of Communicating Syste…