A theory of communicating sequential processes | lit.salon