Carlo Spaccasassi, Vasileios Koutavas. Towards Efficient Abstractions for Concurrent Consensus. In Jay McCarthy, editor, Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers. Volume 8322 of Lecture Notes in Computer Science, pages 76-90, Springer, 2013. [doi]
Abstract is missing.