Jennifer L. Welch. Distributed Computing Column 65: Automatic Synthesis of Distributed Protocols and SIROCCO 2016 Review. SIGACT News, 48(1):54, 2017. [doi]
@article{Welch17-1,
title = {Distributed Computing Column 65: Automatic Synthesis of Distributed Protocols and SIROCCO 2016 Review},
author = {Jennifer L. Welch},
year = {2017},
doi = {10.1145/3061640.3061651},
url = {http://doi.acm.org/10.1145/3061640.3061651},
researchr = {https://researchr.org/publication/Welch17-1},
cites = {0},
citedby = {0},
journal = {SIGACT News},
volume = {48},
number = {1},
pages = {54},
}