Communicating sequential processes | lit.salon