Traversal techniques for concurrent systems Marc Solé & Enric Pastor Departament of Computer Architecture UPC [email protected].