并发模型的比较研究

并发性是计算机科学面临的主要挑战之一，近几年来，在这方面已经展开了大量的研究，并发进程模型的重要意义在于。它将提供一个可信赖的通用形式框架及一批新的技术手段。为并行分布式系统的研究，开发打下了一个坚实的基础，对模型的深入研究，使我们能更深刻地洞察并发性的实质问题，本文对目前最成功的两个并发模型，CSP和CCS的各主要方面进行较深入的比较研究，搞清楚它们实质的贡献，差异及存在的问题。