A Distributed Algorithm of Fault Recovery for Stateful Failover

DOI10.1007/978-3-540-72504-6_67MaRDI QIDQ5425486zbMATH OpenOpenAlexFDO

Authors Indranil Saha, Debapriyay Mukhopadhyay

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72504-6_67

zbMATH Keywords

distributed algorithmSPIN model checkerstateful failoververification of programs

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Graph theory (including graph drawing) in computer science (68R10) Distributed algorithms (68W15)

Recommendations

• Automatic verification of fault-tolerant register emulations
• A logic-based framework for verifying consensus algorithms
• scientific article; zbMATH DE number 4209564
• Load-leveling in fault-tolerant distributed computing systems
• Fault-Local Distributed Mending

Cited in

(1)

• Fault-Tolerance Distributed Control Plane for Software Defined Networks

This page was built for publication: A Distributed Algorithm of Fault Recovery for Stateful Failover

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5425486)