Transition Systems from Causal Reversible Bundle Event Structures

2026-08-25

AI Summary

本文研究了具有因果可逆性的捆绑事件结构，通过开发到两种转换系统语义的映射来证明这些语义之间的同构性。

Abstract

Reversible computing is a novel paradigm that has recently emerged and extends traditional forwards-only computation with the capability to execute in the reverse direction, making it possible for computation to run backwards as well as forwards. Event structures are a foundational model in concurrency theory, providing a way to understand computational processes by describing the events that occur and the relationships between them. In the literature, two structurally different approaches to associating transition system semantics with event structure models have been distinguished. One approach is based on configurations, which are sets of already executed events. The other approach is based on model residuals, which are not yet executed fragments of the model. Configuration-based transition systems appear to be primarily used for semantic representations. Residual-based transition systems are actively applied to demonstrate the consistency between operational and denotational semantics of concurrent process calculi, as well as to visualize the dynamics of models. The present paper focuses on bundle event structures with causal reversibility, which are used in the study of reversible extensions of CCS- and π-like systems. Mappings from the reversible event structure model to the two transition system semantics are developed, which made it possible to prove the isomorphism of the semantics. A category-theoretic characterization of the mappings is provided.

Problem

• reversible computing
• event structures
• transition systems
• causal reversibility
• isomorphism

Innovation

• causal reversible bundle event structures
• transition system semantics
• isomorphism
• category-theoretic characterization