马西莫·梅罗;弗朗西斯科·扎帕·纳德利 移动环境的防互模拟方法。 （英语） Zbl 1039.68085号 Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。勒克特。注释计算。科学。2719, 584-598 (2003). 总结：我们研究了Cardelli和Gordon的移动环境的行为理论。我们给出了一个基于LTS的操作语义，以及一个与归约倒刺同余一致的基于标记互模拟的等价。我们还提供了最新的证明技术，并证明了一组代数定律，包括完美的防火墙方程。关于整个系列，请参见[Zbl 1029.00041号]. 引用于10文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.Merro}和\textit{F.Z.Nardelli}，莱克特。注释计算。科学。2719、584--598（2003年；Zbl 1039.68085） 全文： 链接