Towards Bridging Time and Causal Reversibility - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Towards Bridging Time and Causal Reversibility


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)


Attribution - CC BY 4.0



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⟩
23 View
3 Download



Gmail Facebook Twitter LinkedIn More