【摘 要】
：
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP和高阶通信系统演算CHOCS的主要特征.在C
【机 构】
：
北京航空航天大学计算机科学与工程系; 北京航空航天大学计算机科学与工程系 北京 100083; 北京 100083;
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
【基金项目】
：
国家自然科学基金;“863”计划资助项目
论文部分内容阅读
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP和高阶通信系统演算CHOCS的主要特征.在CC中,通信端口可为任意表达式,并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects).从而CC不仅可以描述一阶通信行为,而且可以刻划通信网络的动态自修改行为.另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型.本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律.选择算子“+”在CCS,CMP,CHOCS及CC中都有相同的语义定义,本文将给它一种新的语义,体现了环境决定进程演变方向的原则,并研究了在此新语义下CC的代数性质.
其他文献
泡沫经济理论和我国股市唐绍欣一、泡沫经济概念和其作用机制泡沫经济又称气泡经济（ｂｕｂｂｌｅｅｃｏｎｏｍｙ），简单地说就是经济的一种虚假繁荣现象。它起初专门用来说明由人们的投机心理所造成的股市膨
<正>附红细胞体病(简称"附红体病")是由附红细胞体附着在血液里红细胞表面或游离于血浆中而引起的一种人畜共患传染病。临床上以发热、贫血、淋巴结肿大或黄疸等症状为主要特
《国家安全法》第十四条明确规定，“每年4月15日为全民国家安全教育日”。今天，我们迎来了第五个全民国家安全教育日。国家安全，是指国家政权、主权统一和领土完整、人民福祉、
本文在宇宙学红移假说下,考虑谱线证认中的选择效应,对无缝技术选择的类星体应用三种流行的类星体演化函数计算了它们的红移分布函数,并与观测的红移分布直方图对证。对比表
目前企业资金短缺的成因及对策姜海臣王言霞近年来，国家贷款规模增长速度远远超过生产增长速度，以１９９５年为例，金融机构新增贷款９３４０亿元，比１９９４年增长２３％；至１９９５年底，企业在金融机构存款达１．７万亿元，比１９９４年增
<正> 合作学习的实践表明,在合作过程中有机地增强学生间的积极互赖是合作教学活动赖以进行的动力源泉。那么怎样增强合作中的互赖呢?下面仅就近年来的语文教学对这一问题作
用电弧放电法直接得到了无烧结、离散分布、大面积及高密度的碳纳米管 ,提高了碳纳米管的质量和产量 .SEM研究表明样品中离散的碳纳米管相互缠绕 ,同时在空间取向无序 .讨论
对NA随机变量序列建立了关于部分和S_n的一个概率不等式,关于|S_n|与max(1≤k≤n)|S_k|的P≥2阶矩的有关不等式,并在一般的条件下证明了强平稳NA序列的一个弱不变原理。