Stav dette: A theory of communicating sequential processes /