尼古拉·梅泽蒂;大卫·桑吉奥吉 无线系统微积分。 (英语) Zbl 1273.68264号 Brookes,Steve(ed.)等人,第22届编程语义数学基础年会(MFPS XXII)会议记录,意大利热那亚,2006年5月23日至27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记158,331-353(2006)。 摘要:在无线系统中,通信机制结合了广播、同步和异步的特性。我们开发了无线系统演算的操作语义。我们提出了一个约简语义和一个标记转换语义,并证明了它们之间的对应结果。我们首先考虑一个核心演算,本质上只有用于通信的原语,然后是一些扩展。语义的一个主要目标是描述无线系统特有的进程活动之间的干扰形式。当两个传输同时到达一个位置时,就会发生这种干扰。有关整个系列,请参见[兹比尔1272.68011]. 引用于14文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 第68季度55 计算理论中的语义学 60年第68季度 规范和验证(程序逻辑、模型检查等) 68M10个 计算机系统中的网络设计和通信 PDF格式BibTeX公司 XML格式引用 \textit{N.Mezzetti}和\textit{D.Sangiorgi},电子。注释Theor。计算。科学。158、331--353(2006年;Zbl 1273.68264) 全文: 链接