BRIDGING CAUSAL REVERSIBILITY AND TIME REVERSIBILITY: A STOCHASTIC PROCESS ALGEBRAIC APPROACH

Bernardo, M; Mezzina, CA

Bernardo, M (通讯作者),Univ Urbino, Dipartimento Sci Pure & Applicate, Urbino, Italy.

LOGICAL METHODS IN COMPUTER SCIENCE, 2023; 19 (2):

Abstract

Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its con......

Full Text Link