Jens Chr.Godskesen。 移动自组网演算(扩展抽象)。 (英语) Zbl 1292.68108号 Amy L.Murphy(编辑)等人,《协调模型和语言》。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届国际协调会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72793-4/pbk)。计算机科学课堂讲稿4467132-150(2007)。 摘要:我们提出了一种移动自组网的微积分CMAN。网络中的节点是一个具有位置的进程,它可以使用同步空间定向广播与其他节点通信,其中只有当前邻居接收消息。节点可以自主更改其邻居关系,从而更改网络拓扑。我们定义了一个自然归约语义和一个归约同余以及一个标记的转换语义,并证明了弱上下文互模拟是归约同义的一个合理而完整的共归纳表征。最后,我们将CMAN应用于一个加密路由协议的小例子。关于整个系列,请参见[Zbl 1163.68304号]. 引用于1审查引用于16文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68个M12 网络协议 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{J.Chr.Godskesen},莱克特。注释计算。科学。4467132-150(2007年;Zbl 1292.68108) 全文: 内政部