Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.

Himanshu Chauhan, Vijay K. Garg

Browse the full RV paper archive.