Marco Bernardo ; Claudio A. Mezzina - Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

lmcs:9437 - Logical Methods in Computer Science, April 25, 2023, Volume 19, Issue 2 - https://doi.org/10.46298/lmcs-19(2:6)2023
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic ApproachArticle

Authors: Marco Bernardo ; Claudio Antares Mezzina

    Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its consequences have been undone already, thus making it possible to bring the system back to a past consistent state. Time reversibility is instead considered in the field of stochastic processes, mostly for efficient analysis purposes. A performance model based on a continuous-time Markov chain is time reversible if its stochastic behavior remains the same when the direction of time is reversed. We bridge these two theories of reversibility by showing the conditions under which causal reversibility and time reversibility are both ensured by construction. This is done in the setting of a stochastic process calculus, which is then equipped with a variant of stochastic bisimilarity accounting for both forward and backward directions.


    Volume: Volume 19, Issue 2
    Published on: April 25, 2023
    Accepted on: March 20, 2023
    Submitted on: May 6, 2022
    Keywords: Computer Science - Logic in Computer Science

    3 Documents citing this article

    Consultation statistics

    This page has been seen 1789 times.
    This article's PDF has been downloaded 431 times.