Decentralized Asynchronous Crash-Resilient Runtime Verification.

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

Browse the full CONCUR paper archive.