SMS dit: Towards a Theory of Parallel Programming