TY  - RPRT
TI  - OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems
AU  - Sang-Min Choi
AU  - Jiho Park
AU  - Quan Nguyen
AU  - Andre Cronje
AU  - Kiyoung Jang
AU  - Hyunjoon Cheon
AU  - Yo-Sub Han
AU  - Byung-Ik Ahn
PY  - 2018
UR  - https://arxiv.org/abs/1810.02186
ID  - 1810.02186
ER  -