基于进程代数EACSR-VP的通信模型的实现  

IMPLEMENTATION OF COMMUNICATION BASED ON PROCESS ALGEBRA EACSR-VP

作　　者：张冠华[1] 张连华[1] 白英彩[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机应用与软件》2005年第9期87-88,91,共3页Computer Applications and Software

摘　　要：介绍了进程代数EACSR-VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论。This paper introduces basic communication primitives of process algebra EACSR-VP. Based on them, construction and implementation of communication model of concurrent system are introduced in detail. Finally, analysis and discuss is given.

关 键 词：进程代数 形式化方法 并发系统 通信 通信模型 

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