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