Reversible computations are computations

Clément Aubert, Jean Krivine

Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the obser…