A Model for Parallel Programming