Sergey, I;    Wilcox, JR;    Tatlock, Z;      (2018)    Programming and Proving with Distributed Protocols.                     In:  Proceedings of the Programming and Proving with Distributed Protocols - 2017.  (pp. p. 28).  ACM: New York, USA.       Green open access