scientific article; zbMATH DE number 2226803

MaRDI QIDQ5705140zbMATH OpenFDO

Authors Jaap-Henk Hoepman, Jun Pang, Wan Fokkink

Publication date 8 November 2005

zbMATH Keywords

fault toleranceformal verification

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14) Network protocols (68M12)

Recommendations

• A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring
• On the Performance of Beauquier and Debas’ Self-stabilizing Algorithm for Mutual Exclusion
• On the costs of self-stabilization
• On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms
• Probabilistic self-stabilization

Cited in

(4)

• An exercise in proving self-stabilization with a variant function
• Certification of an exact worst-case self-stabilization time
• A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring
• On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

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