阿德里安·弗兰卡兰扎;朱利安·拉特克;弗拉迪米罗·萨松 消息传递并发的基于权限的分离逻辑。 （英语） Zbl 1237.68061号 日志。方法计算。科学。 7，第3号，第7号论文，47页（2011年）. 总结：基于分离逻辑和资源使用分析的思想，我们开发了消息传递并发程序的局部推理技术。我们使用权限资源扩展进程，并为这种扩展语言定义了一个约简语义。这为解释消息传递并发的分离公式提供了基础。我们还定义了一个隔音系统，该系统允许我们使用局部、基于分离的推理从成分上推断满意度。 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70型 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：过程结石;分离逻辑;确定性并发;消息传递并发程序 软件：埃尔朗 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人，日志。方法计算。科学。7，第3号，第7号论文，47页（2011年；Zbl 1237.68061） 全文： 内政部