Stav dette: The architecture of concurrent programs