多态π演算的互模拟等价关系及其公理化

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (10): 131-134.doi: 10.3969/j.issn.1007130X.2010.

多态π演算的互模拟等价关系及其公理化

颜锋，田作威，严榴香

（解放军理工大学理学院，江苏南京 211101）

收稿日期:2010-03-20 修回日期:2010-06-27 出版日期:2010-09-29 发布日期:2010-09-25
作者简介:颜锋(1979-),男,江苏泰兴人，硕士，讲师，研究方向为进程代数和移动进程演算；田作威,博士,副教授,研究方向为数值计算；严榴香，硕士，讲师，研究方向为应用概率。

On the Bisimulation Equivalences in Polymorphic π Calculus and Axiomatisations

YAN Feng，TIAN Zuowei，YAN Liuxiang

（School of Science,PLA University of Science and Technology,Nanjing 211101,China）

Received:2010-03-20 Revised:2010-06-27 Online:2010-09-29 Published:2010-09-25

摘要/Abstract

摘要：

类型系统在分布式系统理论中有着非常重要的作用。在为〖WTBX〗π〖WTBZ〗演算引入多态类型系统后，需要对新的环境下进程的等价关系进行研究。在多态类型系统下，环境只能得知进程中通道的抽象类型，而无法得知通道的具体类型，此时环境的区分能力被削弱，所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态〖WTBX〗π〖WTBZ〗演算互模拟的一个公理系统，并证明了公理系统的一致性和完备性。

关键词: &pi, 演算, 类型系统, 多态, 互模拟, 公理系统

Abstract:

Type systems are playing an increasingly important role in the theory of distributed systems. Polymorphism constrains the power of observers by preventing them from directly manipulating data values whose types are abstract, leading to notions of equivalence much coarser than the standard untyped ones. In this paper, we study the impact of polymorphism on the algebraic theory of the 〖WTBX〗π〖WTBZ〗calculus. Precisely, we give an axiomatisation of the polymorphic 〖WTBX〗π〖WTBZ〗calculus, which is both sound and complete on the closed finite terms.

Key words: πcalculus；type system；polymorphism；bisimulation；axiomatisation

颜锋，田作威，严榴香. 多态π演算的互模拟等价关系及其公理化[J]. J4, 2010, 32(10): 131-134.

YAN Feng，TIAN Zuowei，YAN Liuxiang. On the Bisimulation Equivalences in Polymorphic π Calculus and Axiomatisations[J]. J4, 2010, 32(10): 131-134.

编辑推荐

Metrics

阅读次数

全文

HTML			PDF

最新录用	在线预览	正式出版	最新录用	在线预览	正式出版
0	0	0	0	0	51

来源	本网站	其他网站

次数	32	19
比例	63%	37%

摘要

最新录用	在线预览	正式出版

0	0	41

	来源	本网站

	次数	41
	比例	100%

[1]	甘秋云. ED算法和SNP-index算法计算SNP位点的比较分析——以拟南芥为例[J]. 计算机工程与科学, 2022, 44(04): 707-712.
[2]	赵婧1,魏彬2. 标签SNPs选择及重构算法研究[J]. 计算机工程与科学, 2016, 38(11): 2328-2334.
[3]	张兴兴,邓楠轶,马占有,李永明. 广义可能性互模拟及其逻辑刻画[J]. J4, 2015, 37(05): 951-957.
[4]	杨爱琴，程显毅. 基于流演算理论的动态访问控制模型研究[J]. J4, 2015, 37(03): 517-523.
[5]	张晋津1，张严2，朱朝晖2. (η,α)-互模拟的分层及判定算法[J]. J4, 2015, 37(03): 547-552.
[6]	秦广军，祝明发，肖利民，阮利. 胖树的网络演算模型[J]. J4, 2014, 36(12): 2272-2279.
[7]	李涛1,杨婷1,易学渊1,蒲林1,钱博文1,黄光新2,黄虎才2,韩俊刚2. 萤火虫2：一种多态并行机的硬件体系结构[J]. J4, 2014, 36(02): 191-200.
[8]	姜梦稚1,2，赵风景1. 基于π演算的时序图的建模[J]. J4, 2012, 34(6): 174-177.
[9]	胡志坤，孙岩，丁家峰，刘灿. 石英晶片参数测量的物理实验教学系统[J]. J4, 2012, 34(4): 177-181.
[10]	钱悦1，鲁中海2，窦强1，窦文华1. 片上网络二维和三维结构的通信性能分析[J]. J4, 2011, 33(3): 34-40.
[11]	樊葆华，张鹤颖，窦文华. 基于双子代数理论的网络建模与分析[J]. J4, 2011, 33(2): 17-22.
[12]	袁文杰，应时，吴可嘉，姚俊峰. 基于π演算的反射式需求规约描述方法[J]. J4, 2010, 32(6): 146-149.
[13]	张辉. 企业自演化动态本体表示策略的研究[J]. J4, 2010, 32(11): 100-103.
[14]	余泉1，张维1，王驹2. 模态描述逻辑MALC模型的几个代数性质[J]. J4, 2010, 32(10): 135-138.
[15]	赵秀凤杨丽娜郭渊博. 安全类型系统在编译技术中的应用研究[J]. J4, 2008, 30(9): 145-146.

多态π演算的互模拟等价关系及其公理化

On the Bisimulation Equivalences in Polymorphic π Calculus and Axiomatisations

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价