Media type: E-Article Title: Automatic Synthesis of Distributed Protocols Contributor: Alur, Rajeev; Tripakis, Stavros imprint: Association for Computing Machinery (ACM), 2017 Published in: ACM SIGACT News Language: English DOI: 10.1145/3061640.3061652 ISSN: 0163-5700 Origination: Footnote: