Decentralized Asynchronous Crash-resilient Runtime Verification

Open Webpage

Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers

Published: 2022, Last Modified: 11 May 2025J. ACM 2022EveryoneRevisionsBibTeXCC BY-SA 4.0