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]
@article{KlinkhamerE16,
title = {Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization},
author = {Alex Klinkhamer and Ali Ebnenasir},
year = {2016},
doi = {10.1109/TPDS.2016.2536023},
url = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2016.2536023},
researchr = {https://researchr.org/publication/KlinkhamerE16},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Parallel Distrib. Syst.},
volume = {27},
number = {11},
pages = {3338-3350},
}