并发进程模型CSP与CCS

并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。