Causal Reversibility Implies Time Reversibility - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Causal Reversibility Implies Time Reversibility

Résumé

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 undone already, thereby making it possible to bring a system back to a past consistent state. On the other hand, time reversibility stipulates that the stochastic behavior of a system remains the same when the direction of time is reversed, which supports efficient performance evaluation. In this paper we show that causal reversibility is a sufficient condition for time reversibility. The study is conducted on extended labeled transition systems. Firstly, they include a forward and a backward transition relations obeying the loop property. Secondly, their transitions feature an independence relation as well as rates for their exponentially distributed random durations. Our result can thus be smoothly applied to concurrent and distributed models, calculi, and languages that account for performance aspects.
Fichier principal
Vignette du fichier
paper.pdf (372.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04343506 , version 1 (13-12-2023)

Licence

Paternité

Identifiants

Citer

Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Mezzina, Sabina Rossi, et al.. Causal Reversibility Implies Time Reversibility. QEST 2023 - International Conference on Quantitative Evaluation of Systems, Sep 2023, Antwerp, Belgium. pp.270-287, ⟨10.1007/978-3-031-43835-6_19⟩. ⟨hal-04343506⟩
9 Consultations
14 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More