通信距离受限的进程代数研究

摘要：

　　传统的进程代数中，进程间是否能够通信与它们之间的距离无关。而在现实世界中，无线网络等通信距离受限的系统相当普遍。本文提出了一种进程代数系统，侧重考虑了进程间距离对进程间通信以及观测等效性的影响。本文在标记转换系统(LTS)基础上提出了两种互模拟概念，并初步研究了二者的关系，进而给出了一种互模拟的模态特征。

关键词： 无线通信 进程代数 分层互模拟 模态特征

作者: WU Yanping 武彦平

作者单位: College of Information Science and Technology,Nanjing University of Aeronautics and Astronautics,Nan 南京航空航天大学信息科学与技术学院,南京210016

会议类型: 国内会议

会议名称: 中国电子学会信息论分会2009年研究生学术交流会

会议地点: 三亚

会议语种:中文

页码: 114-118

在线出版日期: 2010-03-01（万方平台首次上网日期，不代表论文的发表时间）