可逆多方协议的因果一致性
摘要：将可逆语义集成到具有行为类型的面向通信的过程语言中。介绍了监视器作为内存的方法，以无缝地将可逆语义集成到过程模型中。将该方法扩展到适用于多方协议、异步通信、解耦回滚和抽象传递的过程模型。证明了多方协议的可逆语义是因果一致的。我们的发展的一个关键技术因素是具有原子回滚的替代可逆语义，它在概念上很简单，被证明是解耦回滚的特征。
作者：Claudio Antares Mezzina, Jorge A. P''erez
论文ID：1703.06021
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22