%0 Journal Article
%T 并发进程模型CSP与CCS
%A 肖育东
%J 计算机科学
%D 1991
%I 
%X 并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。
%K CCS
%K CSP
%K 并发进程模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7FCCF4EE0399A2BD6934F7474A9B2B35&yid=116CB34717B0B183&vid=13553B2D12F347E8&iid=B31275AF3241DB2D&sid=B91E8C6D6FE990DB&eid=340AC2BF8E7AB4FD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0