a model of distributed computations ppt