Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers backtrack the execution previous state. is essential if computation not deterministic because re-running may lead that state of interest. sequential programs has been well studied strong theoretical basis exists. Contrarily, reversibility concurrent still very young, especially in practic...