Partially ordered distributed computations on asynchronous point-to-point networks

Ricardo C. Correa, Valmir C. Barbosa

Asynchronous executions of a distributed algorithm differ from each other due to the nondeterminism in the order in which the messages exchanged are handled. In many situations of…