Communicating sequential processes articles