Zaslat SMS: Towards a Theory of Parallel Programming