Unfold/Fold Transformations of Concurrent Processes