A Model Of Distributed Computations