Towards Bridging Time and Causal Reversibility - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Towards Bridging Time and Causal Reversibility

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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 Consultations
23 Téléchargements

Altmetric

Partager

More