@misc{indiciae10579c2fda2d,
  title = {OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems},
  author = {Sang-Min Choi and Jiho Park and Quan Nguyen and Andre Cronje and Kiyoung Jang and Hyunjoon Cheon and Yo-Sub Han and Byung-Ik Ahn},
  year = {2018},
  url = {https://arxiv.org/abs/1810.02186},
  note = {Source identifier: 1810.02186}
}