Causal reversibility in nondeterministic process calculi extended with time or probabilities

Marco Bernardo 0001, Claudio Antares Mezzina, Andrea Esposito 0006. Causal reversibility in nondeterministic process calculi extended with time or probabilities. Theoretical Computer Science, 1063:115646, 2026. [doi]

Abstract

Abstract is missing.