Towards Bridging Time and Causal Reversibility - Formal Techniques for Distributed Objects, Components, and Systems
Conference Papers Year : 2020

Towards Bridging Time and Causal Reversibility

Abstract

Causal consistent reversibility blends causality and reversibility. For a concurrent system, it says that an action can be undone provided this has no consequences, thereby making it possible to bring the system back to a past consistent state. Time reversibility is considered instead in the performance evaluation field. A continuous-time Markov chain is time reversible if its behavior remains the same when the direction of time is reversed. We try to bridge these two theories by showing the conditions under which both causal consistent reversibility and time reversibility can be achieved in the setting of a stochastic process algebra.
Fichier principal
Vignette du fichier
495615_1_En_2_Chapter.pdf (349.34 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03283233 , version 1 (09-07-2021)

Licence

Identifiers

Cite

Marco Bernardo, Claudio Antares Mezzina. Towards Bridging Time and Causal Reversibility. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.22-38, ⟨10.1007/978-3-030-50086-3_2⟩. ⟨hal-03283233⟩
50 View
23 Download

Altmetric

Share

More