Unfold/fold transformations of concurrent processes