Communicating sequential processes with PyCSP