Crash-Resilient Decentralized Synchronous Runtime Verification

Shokoufeh Kazemlou, Borzoo Bonakdarpour. Crash-Resilient Decentralized Synchronous Runtime Verification. In 37th IEEE Symposium on Reliable Distributed Systems, SRDS 2018, Salvador, Brazil, October 2-5, 2018. pages 207-212, IEEE, 2018. [doi]

Abstract

Abstract is missing.