在具有可逆语义的编程模型中，计算步骤可以是撤消。本文讨论了将可逆语义集成到具有行为的以通信为中心的系统的过程语言类型。在之前的工作中，我们引入了一种监视器作为内存的方法将可逆语义无缝集成到流程模型中，其中并发性由会话类型（一类行为类型）控制，用同步通信覆盖二进制（两部分）协议。这个然而，二进制设置的适用性和表现力是有限的。这里我们扩展了我们的方法，并使用它为解释多方（n方）协议的表达过程模型，异步通信、解耦回滚和抽象传递。作为主要结果是，我们证明了多方协议的可逆语义是因果一致。我们开发的一个关键技术要素是具有原子回滚的可选可逆语义，这在概念上是简单，并且显示了解耦回滚的特征。