Papers tagged communicating sequential processes