Two snap-stabilizing point-to-point communication protocols in message-switched networks

Alain Cournier, Swan Dubois, Vincent Villain

A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we present a snap-stabilizing protocol to solve the mess…