From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms.

Johanne Cohen, George Manoussakis, Laurence Pilard

Browse the full SYNASC paper archive.