A model of distributed computations