可逆并发演算中的因果一致复制
Causal Consistent Replication in Reversible Concurrent Calculi
摘要：
可逆计算是开发新的节能范例的关键，也是提供具有更广泛定义和更精细研究框架的仅向前概念的关键。在其他领域中，代理网络的代数规范和表示受到可逆现象研究的极大影响：通信系统演算的可逆变格（CCSK和RCCS）提供了新的语义模型、更精细的同余关系、原始性质，并以更精细的视角重新审视了现有的理论和结果。并发性是建立因果一致性的一个核心概念--可逆系统的一个关键属性--在CCSK中从未给出一个明确的语法定义。虽然递归被提到是一种可能的机制，可以将无限的行为注入系统，但复制从未被研究过。这项工作提供了两个问题的解决方案，通过利用为只向前演算开发的并发定义，通过赋予CCSK复制算子，并通过研究这两个概念的相互作用，我们获得的系统是第一个能够表示具有因果一致性的无限行为的可逆系统，我们简单而纯粹的语法概念可逆并发。
英文摘要：
Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among other fields, the algebraic specification and representation of networks of agents have been greatly impacted by the study of reversible phenomena: reversible declensions of the calculus of communicating systems (CCSK and RCCS) offer new semantic models, finer congruence relations, original properties, and revisits existing theories and results in a finer light.However, much remains to be done: concurrency, a central notion in establishing causal consistency--a crucial property for reversibly systems--, was never given a clear and syntactical definition in CCSK.While recursion was mentioned as a possible mechanism to inject infinite behaviors into the systems, replication was never studied.This work offers a solution to both problems, by leveraging a definition of concurrency developed for forward-only calculi using proved transition systems, by endowing CCSK with a replication operator, and by studying the interplay of both notions.The system we obtain is the first reversible system capable of representing infinite behaviors that enjoys causal consistency, for our simple and purely syntactical notion of reversible concurrency.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
