Crash-Resilient Decentralized Synchronous Runtime Verification.

Shokoufeh Kazemlou, Borzoo Bonakdarpour

Browse the full SRDS paper archive.