The DHCP Failover Protocol: A Formal Perspective

DOI10.1007/978-3-540-73196-2_14zbMath1215.68029OpenAlexW1864419MaRDI QIDQ3614854

Ralph E. Droms, Nancy D. Griffeth, Rui Fan, Nancy A. Lynch

Publication date: 10 March 2009

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-73196-2_14

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Network protocols (68M12)

Cites Work

• The Theory of Timed I/O Automata, Second Edition
• Time, clocks, and the ordering of events in a distributed system
• Bounded Concurrent Time-Stamping
• Unreliable failure detectors for reliable distributed systems
• The weakest failure detector for solving consensus

This page was built for publication: The DHCP Failover Protocol: A Formal Perspective