Title: A guide to communicating sequential processes