@inproceedings{JupiterProtocol:OPODIS2018,
  author = {Wei, Hengfeng and Huang, Yu and Lu, Jian},
  title = {Specification and Implementation of Replicated List: The Jupiter Protocol Revisited},
  booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
  series = {LIPIcs},
  volume = {125},
  year = {2018},
  pages = {12:1--12:16},
  doi = {10.4230/LIPIcs.OPODIS.2018.12},
  url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.12}
}