Stav dette: Towards a Theory of Parallel Programming