并发模型和并发语言可逆性的模块化形式化
A Modular Formalization of Reversibility for Concurrent Models and Languages
摘要：
并发一致可逆性是并发可逆性的参考概念。我们介绍了一个模块化的框架，用于定义并发模型和语言的并发一致的可逆扩展。我们展示了我们的框架可以用来定义不同的CCS和并发X-机的形式主义可逆扩展。这种方法的普遍性允许在不同的环境中重复使用理论和技术。
英文摘要：
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of theories and techniques in different settings.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
