Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization

Alex Klinkhamer, Ali Ebnenasir. Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. IEEE Trans. Parallel Distrib. Syst., 27(11):3338-3350, 2016. [doi]

Abstract

Abstract is missing.