“…By exploiting causality information, causalconsistent reversible debuggers allow one to undo just the steps which led (are causally related) to a misbehaviour, reducing the number of steps/spurious causes and helping to understand its root cause. In the last years several reversible semantics for concurrency have been developed, see, e.g., [8,7,18,2,22]. However, none of them takes into account time 1 .…”