この資料をSMS送信: Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs