Edward Talmage, Jennifer L. Welch. Generic Proofs of Consensus Numbers for Abstract Data Types. In Emmanuelle Anceaume, Christian Cachin, Maria Gradinariu Potop-Butucaru, editors, 19th International Conference on Principles of Distributed Systems, OPODIS 2015, December 14-17, 2015, Rennes, France. Volume 46 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.