A model for communicating sequential processes | lit.salon