Author:
Fuzzati Rachele,Merro Massimo,Nestmann Uwe
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference26 articles.
1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991). A preliminary version appeared in the proceedings of LICS’88
2. Aguilera M.K., Chen W. and Toueg S. (1997). Heartbeat: a timeout-free failure detector for quiescent reliable communication. In: Mavronicolas, M. and Tsigas, P. (eds) Proceedings of the 11th international workshop on distributed algorithms. Lecture Notes in Computer Science, vol. 1320, pp 126–140. Springer, Heidelberg
3. Chandra T.D., Hadzilacos V. and Toueg S. (1996). The weakest failure detector for solving consensus. J. ACM 43(4): 685–722
4. Chandra T.D. and Toueg S. (1996). Unreliable failure detectors for reliable distributed systems. J. ACM 43(2): 225–267
5. Chandy K.M. and Misra J. (1988). Parallel programming design. A foundation. Addison Wesley, Reading
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FTMPST: Fault-Tolerant Multiparty Session Types;Logical Methods in Computer Science;2023-11-27
2. Fault-Tolerant Multiparty Session Types;Formal Techniques for Distributed Objects, Components, and Systems;2022
3. Graft: general purpose raft consensus in Elixir;Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang;2021-08-18
4. A study of mutable checkpointing and related algorithms;Science of Computer Programming;2018-08
5. States in Process Calculi;Electronic Proceedings in Theoretical Computer Science;2014-08-06