A relevant application of reversibility is causal-consistent reversible debugging, which allows one to explore concurrent computations backward and forward find a bug. This approach has been put into practice in CauDEr, debugger for the Erlang programming language. CauDEr supports functional, distributed fragment Erlang. However, also includes imperative features manage map (shared among all pr...