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.
Causal Reversibility Implies Time Reversibility / Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.. - STAMPA. - 14287:(2023), pp. 270-287. (Intervento presentato al convegno 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023 tenutosi a Antwerp, Belgium nel 20-22/9/92023) [10.1007/978-3-031-43835-6_19].
Causal Reversibility Implies Time Reversibility
Bernardo M.;Lanese I.;Mezzina C. A.;Sacerdoti Coen C.
2023
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
paper.pdf
embargo fino al 15/09/2024
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
544.32 kB
Formato
Adobe PDF
|
544.32 kB | Adobe PDF | Visualizza/Apri Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.