[PDF][PDF] Foundations of reversible computation
Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …
direction, but also backward, recovering past states. While reversible computation has …
[PDF][PDF] Reversing place transition nets
H Melgratti, CA Mezzina… - Logical Methods in …, 2020 - lmcs.episciences.org
Petri nets are a well-known model of concurrency and provide an ideal setting for the study
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …
[PDF][PDF] Bridging causal reversibility and time reversibility: a stochastic process algebraic approach
M Bernardo, CA Mezzina - Logical Methods in Computer …, 2023 - lmcs.episciences.org
Causal reversibility blends reversibility and causality for concurrent systems. It indicates that
an action can be undone provided that all of its consequences have been undone already …
an action can be undone provided that all of its consequences have been undone already …
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
M Bernardo, CA Mezzina - … Conference on Formal Modeling and Analysis …, 2023 - Springer
A reversible computing system features backward computations along which the effects of
forward ones are undone when needed. This is accomplished by reverting executed actions …
forward ones are undone when needed. This is accomplished by reverting executed actions …
Reversing P/T Nets
Petri Nets are a well-known model of concurrency and provide an ideal setting for the study
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …
Branching bisimulation semantics enables noninterference analysis of reversible systems
The theory of noninterference supports the analysis and the execution of secure
computations in multi-level security systems. Classical equivalence-based approaches to …
computations in multi-level security systems. Classical equivalence-based approaches to …
Reversibility in Process Calculi with Nondeterminism and Probabilities
M Bernardo, CA Mezzina - International Colloquium on Theoretical …, 2024 - Springer
A reversible system features not only forward computations, but also backward computations
along which the effects of forward ones can be undone by starting from the last performed …
along which the effects of forward ones can be undone by starting from the last performed …
Simulating reversible computation with reaction systems
A Bagossy, G Vaszil - Journal of Membrane Computing, 2020 - Springer
Reaction systems are a formal model of computation providing a framework for investigating
biochemical reactions inside living cells. We look at the functioning of these systems as a …
biochemical reactions inside living cells. We look at the functioning of these systems as a …
Causal Reversibility Implies Time Reversibility
Several notions of reversibility exist in the literature. On the one hand, causal reversibility
establishes that an action can be undone provided that all of its consequences have been …
establishes that an action can be undone provided that all of its consequences have been …
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
The theory of noninterference supports the analysis of information leakage and the
execution of secure computations in multi-level security systems. Classical …
execution of secure computations in multi-level security systems. Classical …