Kristoffer Just Arndal Andersen, Ilya Sergey. Distributed Protocol Combinators. In José Júlio Alferes, Moa Johansson, editors, Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Volume 11372 of Lecture Notes in Computer Science, pages 169-186, Springer, 2019. [doi]
Abstract is missing.