Communicating sequential processes Follow