Aceto，卢卡;阿纳尔·比吉松;Ingólfsdóttir，安娜;穆罕默德·雷扎·穆萨维 关于并行过程历史的分解推理。 （英语） 兹比尔1353.68191 Arbab，Farhad（编辑）等人，《软件工程基础》，第四届IPM国际会议，FSEN 2011，伊朗德黑兰，2011年4月20日至22日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29319-1/pbk）。计算机科学讲义7141，32-47（2012）。 小结：本文提出了Hennessy-Milner逻辑的一种分解技术及其递归定义公式的扩展。为了突出主要思想和技术工具，使用具有并行组成、非确定性选择、动作前缀和不动作常数的CCS子集描述过程。这项研究的重点是为该语言中的并行上下文开发分解推理技术。关于整个系列，请参见[Zbl 1241.68006号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：CMC公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。7141，32-47（2012；Zbl 1353.68191） 全文： 内政部 链接