Redirecting to Communicating sequential processes