Reversibility-Aware Step Graphs for State Space Reduction and Reversibility Checking in Concurrent Systems.

Hao Dou, Mengchu Zhou, Shouguang Wang, Dan You, Wenli Duo

Browse the full VECoS paper archive.