Enviar aquest missatge de text: Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs