Author:
Tran Thanh-Hai,Konnov Igor,Widder Josef
Publisher
Springer International Publishing
Reference28 articles.
1. Apt, K., Kozen, D.: Limits for automatic verification of finite-state concurrent systems. IPL 15, 307–309 (1986)
2. Bailis, P., Kingsbury, K.: The network is reliable. Queue 12(7), 20–32 (2014)
3. Bloem, R., et al.: Decidability of parameterized verification. Syn. Lect. Dist. Comput. Theory 6(1), 1–170 (2015)
4. Lecture Notes in Computer Science;A Bouajjani,2000
5. Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. J. ACM 43(2), 225–267 (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Case Study on Parametric Verification of Failure Detectors;Formal Techniques for Distributed Objects, Components, and Systems;2021