Reversibility and asymmetric conflict in event structures
We introduce reversible forms of event structures. To control how events are reversed, we use asymmetric conflict on events. We use mixed forward and reverse transition steps, and limits of non-monotone sequences. Among other results, we show when reachable configurations which are finite are reachable finitely. We discuss reversing in causal order as well as forms of non-causal reversing.
asymmetric conflict event structure reversible computation