可逆转会话使用
Reversible Sessions Using Monitors
摘要：
许多研究已经研究了正确和可靠的通信中心系统的基础。一个突出的正确性方法使用会话类型来强制结构化通信;最近的可靠性方法使用可逆动作作为对意外事件或故障的反应方式。本文提出了一个简单的观察：定义异步语义和监控所需的机制也可以支持可逆协议。我们提出了一个会话通信的过程框架，其中监视器支持可逆性。在我们的方法中，一个关键的新颖性是现在和过去的会话类型，这使我们能够简化可逆动作的语义。
英文摘要：
Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
