%0 Journal Article
%T The Paradigms of Concurrent Computations :CCS and π-Calculus<br>并发计算范型：CCS和π－演算
%A 杜旭涛
%A 李舟军
%J 计算机科学
%D 2002
%I 
%X 1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂性也小得多。函数被用来作为顺序计算的公共语义框架的基础。λ-演算就是一个著名的原型。一个顺序程序从语义上可以看作是一个从状态到状态的函数。例如顺序程序P1和P2:
%K 程序设计
%K 并发计算范型
%K CCS
%K π－演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=93E3BC2B0C14E750&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=F3090AE9B60B7ED1&sid=F3583C8E78166B9E&eid=BCA2697F357F2001&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14