Hengfeng Wei, Yu Huang 0002, Jian Lu 0001. Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. In Jiannong Cao, Faith Ellen, Luis Rodrigues, Bernardo Ferreira, editors, 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China. Volume 125 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.