尼娜·阿姆拉;艾默生·E·艾伦;基达尔·纳姆乔什;理查德·特雷弗勒 合成推理的抽象模式。 (英语) Zbl 1274.68217号 Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 431-445 (2003). 摘要:组合推理(将并发系统的推理简化为对其单个组件的推理)是管理模型检查中的证明复杂性和状态爆炸的基本工具。通常,这种推理是以假设保证的方式进行的:每个组件都基于对其他组件行为的假设来保证其行为。为避免不健全而对这些方法施加的限制通常也会导致不完整性,即无法证明某些属性。在本文中,我们构造了一个关于过程组合推理的抽象框架,提出了一种假设保证方法,并证明了它是合理的、语义完整的。然后,我们展示了如何实例化流程行为和组合的几个常见概念的框架。对于这些概念,实例化产生了已知的第一种方法,这些方法对于相互归纳的假设保证推理是完整的。关于整个系列,请参见[兹比尔1026.00029]. 引用于三文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{N.Amla}等人,Lect。注释计算。科学。2761431--445(2003年;Zbl 1274.68217) 全文: 内政部