并发计算范型:CCS和π-演算  

The Paradigms of Concurrent Computations: CCS and π-Calculus

作　　者：杜旭涛[1] 李舟军[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机科学》2002年第10期14-17,共4页Computer Science

基　　金：国家自然科学基金(No.60073001;No.69933030); 高等学校重点实验室访问学者基金

摘　　要：1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂性也小得多。函数被用来作为顺序计算的公共语义框架的基础。λ-演算就是一个著名的原型。一个顺序程序从语义上可以看作是一个从状态到状态的函数。例如顺序程序P1和P2:Concurrent theory is one of the most important and hot fields in theoretical computer science. In this paper, we first take a look at the semantic bases of sequential computations and concurrent computations. Using an example we demonstrate that function, which is actually the basic semantic idea of sequential computations .cannot be used as the semantic idea of concurrent computations.Then we introduce the Calculus of Communicating Systems(CCS) and the π-calculus together with a brief comparison between them.Finally, we show some basic ideas of typed π-calculus, a fairly new direction in the π-calculus.

关 键 词：程序设计 并发计算范型 CCS Π-演算 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]