Programming
New semantics treats reversible computation as ordinary causal computation
Aubert and Krivine extend causal models of concurrency to reversible systems, showing reversibility amounts to a clean swap between the roles of conflict and causality.
8 October 2025