Stav dette: Semantics of concurrent computation :