Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal.inria.fr/hal-03283233
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, July 9, 2021 - 5:53:39 PM
Last modification on : Friday, July 9, 2021 - 5:57:30 PM
Long-term archiving on: : Sunday, October 10, 2021 - 8:28:40 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

20