Meta data
- BibTeX key
- journals/corr/abs-1810-02186
- entry type
- article
- year
- 2018
- journal
- CoRR
- volume
- abs/1810.02186
- ee
- http://arxiv.org/abs/1810.02186
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-02186
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-1810-02186
%A Choi, Sang-Min
%A Park, Jiho
%A Nguyen, Quan Hoang
%A Cronje, Andre
%A Jang, Ki-Young
%A Cheon, Hyunjoon
%A Han, Yo-Sub
%A Ahn, Byung-Ik
%D 2018
%J CoRR
%K dblp
%T OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-02186
%V abs/1810.02186
@article{journals/corr/abs-1810-02186,
added-at = {2023-11-13T00:00:00.000+0100},
author = {Choi, Sang-Min and Park, Jiho and Nguyen, Quan Hoang and Cronje, Andre and Jang, Ki-Young and Cheon, Hyunjoon and Han, Yo-Sub and Ahn, Byung-Ik},
biburl = {https://www.bibsonomy.org/bibtex/21e5c7503995b97711259391ef7c165c7/dblp},
ee = {http://arxiv.org/abs/1810.02186},
interhash = {ba6536c15448060bbd22ad98f7095d0d},
intrahash = {1e5c7503995b97711259391ef7c165c7},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T22:33:29.000+0200},
title = {OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1810.html#abs-1810-02186},
volume = {abs/1810.02186},
year = 2018
}