@article{bonakdarpour:hal-03872283, TITLE = {{Decentralized Asynchronous Crash-resilient Runtime Verification}}, AUTHOR = {Bonakdarpour, Borzoo and Fraigniaud, Pierre and Rajsbaum, Sergio and Rosenblueth, David and Travers, Corentin}, URL = {https://cnrs.hal.science/hal-03872283}, JOURNAL = {{Journal of the ACM (JACM)}}, PUBLISHER = {{Association for Computing Machinery}}, VOLUME = {69}, NUMBER = {5}, PAGES = {1-31}, YEAR = {2022}, MONTH = Oct, DOI = {10.1145/3550483}, HAL_ID = {hal-03872283}, HAL_VERSION = {v1}, }