Automatic Synthesis of Distributed Protocols
| Title | Automatic Synthesis of Distributed Protocols |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Rajeev Alur, Stavros Tripakis |
| Journal | SIGACT News |
| Volume | 48 |
| Pagination | 55–90 |
| Keywords | 1329759 |
| URL | http://doi.acm.org/10.1145/3061640.3061652 |
| DOI | 10.1145/3061640.3061652 |
| Citation Key | DBLP:journals/sigact/AlurT17 |