發送短信: Towards a Theory of Parallel Programming