并发演算CC及其性质

作     者：李未 王飓安 

作者机构：北京航空航天大学计算机科学与工程系北京100083 

基　　金：国家自然科学基金 "863"计划资助项目 

出 版 物：《中国科学（A辑）》 (Science in China(Series A))

年 卷 期：1993年第23卷第1期

页      码：97-104页

摘      要：并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP和高阶通信系统演算CHOCS的主要特征.在CC中,通信端口可为任意表达式,并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects).从而CC不仅可以描述一阶通信行为,而且可以刻划通信网络的动态自修改行为.另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型.本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律.选择算子“+”在CCS,CMP,CHOCS及CC中都有相同的语义定义,本文将给它一种新的语义,体现了环境决定进程演变方向的原则,并研究了在此新语义下CC的代数性质.

主 题 词：并发 通信 进程 λ-演算 

学科分类：11[军事学] 0810[工学-土木类] 1105[1105] 08[工学] 081002[081002] 110503[110503] 

核心收录：

馆 藏 号：203105458...