并发模型分析  

作　　者：刘海燕[1] 陈火旺[1] 

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

出　　处：《计算机科学》1995年第3期13-16,共4页Computer Science

摘　　要：并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。

关 键 词：并发模型 形式语义 计算机语言 PETRI网 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]