%0 Conference Proceedings
%T Towards Bridging Time and Causal Reversibility
%+ Università degli Studi di Urbino 'Carlo Bo'
%A Bernardo, Marco
%A Mezzina, Claudio, Antares
%Z Part 1: Full Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Valletta, Malta
%Y Alexey Gotsman
%Y Ana Sokolova
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-12136
%P 22-38
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50086-3_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03283233/document
%2 https://inria.hal.science/hal-03283233/file/495615_1_En_2_Chapter.pdf
%L hal-03283233
%U https://inria.hal.science/hal-03283233
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ ANR
%~ IFIP-LNCS-12136