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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.