保罗·巴尔丹;西尔维亚·克拉法 真正并发的逻辑。 （英语） Zbl 1287.68120号 Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269147-161（2010）。 摘要：我们提出了一种真正的并发逻辑，其公式预测了计算中的事件及其因果依赖。诱导的逻辑等价是遗传历史保持的双相似性，逻辑的片断可以被识别出来，这些片断对应于文献中其他真正的并发行为等价：阶跃、pomset和历史保持双相似性。因此，标准轩尼诗-米尔纳逻辑（交错）的双重相似性也被恢复为碎片。我们认为，这有助于合理呈现真正的并发频谱，并有助于更深入地理解所涉及的行为等效性之间的关系。关于整个系列，请参见[Zbl 1194.68036号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛P.Baldan｝和\textit｛S.Crafa｝，Lect。注释计算。科学。6269、147--161（2010年；Zbl 1287.68120） 全文： 内政部