丹·弗鲁明;罗伯特·克雷伯斯;Lars Birkedal公司 ReLoC：用于细粒度并发的机械化关系逻辑。 （英语） Zbl 1497.68337号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。442-451 (2018). 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B35型 证明和逻辑操作的机械化 03B70号 计算机科学中的逻辑 68V20型 数学形式化与定理证明 关键词：鸢尾花;分离逻辑;原子性;细粒度并发;逻辑关系 软件：Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Frumin}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。442--451（2018年；Zbl 1497.68337） 全文： 内政部