检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南京大学计算机软件新技术国家重点实验室,南京,210093
出 处:《高技术通讯》2005年第8期18-22,共5页Chinese High Technology Letters
基 金:国家重点基础研究发展计划(973计划),国家高技术研究发展计划(863计划),国家自然科学基金
摘 要:以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息.研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性.进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据.How communication mechanisms affect expressive power is studied in the setting of pi-calculus. A coding is provided, whose source language is synchronous pi-calculus including match operator, fully replicated operator, input and output prefixes while the asynchronous pi-calculus as the target language contains lazy replicated operator, input prefix and output message. The property of fully abstraction with respect to barbed bisimulation was shown, thus demonstrated the soundness of the coding. The results show the equivalence of two communication mechanisms when lack of nondetenninistic choice operator and lay a solid theoretical basis for the implementation of pi-ealeulus.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.63