Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness-Reference-Cited by-同舟云学术

Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness

Published:2020 Issue: Volume: Page:47-66
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Liu Yanhong A.,Stoller Scott D.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-60508-7_3

Reference39 articles.

1. Birman, K., Joseph, T.: Exploiting virtual synchrony in distributed systems. In: Proceedings of the 11th ACM Symposium on Operating Systems Principles, pp. 123–138. ACM Press, November 1987

2. Birman, K., Malkhi, D., Renesse, R.V.: Virtually synchronous methodology for dynamic service replication. Technical report MSR-TR-2010-151, Microsoft Research (2010)

3. Birman, K.P., Joseph, T.A.: Reliable communication in the presence of failures. ACM Trans. Comput. Syst. (TOCS) 5(1), 47–76 (1987)

4. Chand, S., Liu, Y.A.: What’s live? Understanding distributed consensus. Computing Research Repository arXiv:2001.04787 [cs.DC], January 2020. http://arxiv.org/abs/2001.04787

5. Lecture Notes in Computer Science;S Chand,2016

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services;Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems;2023-06-19

2. STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection;Lecture Notes in Computer Science;2022