Author:
Widder Josef,Schmid Ulrich
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference58 articles.
1. Anceaume, E., Puaut, I.: Performance evaluation of clock synchronization algorithms. Tech. Rep. RR-3526, INRIA (1998)
2. Attiya H. and Welch J. (2004). Distributed Computing, 2nd edn. John Wiley, New York
3. Azadmanesh M. and Kieckhafer R.M. (2000). Exploiting omissive faults in synchronous approximate agreement. IEEE Trans. Comput. 49(10): 1031–1042
4. Biely, M., Schmid, U.: Message-efficient consensus in presence of hybrid node and link faults. Tech. Rep. 183/1-116, Department of Automation, Technische Universität Wien (2001) (submitted)
5. Biely, M., Widder, J.: Optimal message-driven implementations of Omega with mute processes. In: Proceedings of the Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS, vol. 4280, pp. 110–121. Springer, Dallas, TX, USA (2006)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Message Chains for Distributed System Verification;Proceedings of the ACM on Programming Languages;2023-10-16
2. Temporal prophecy for proving temporal properties of infinite-state systems;Formal Methods in System Design;2021-07-23
3. First-order quantified separators;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
4. Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms;Lecture Notes in Computer Science;2017
5. On the impact of link faults on Byzantine agreement;Information and Computation;2014-12