Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

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