scientific article; zbMATH DE number 512850

MaRDI QIDQ4281546zbMATH OpenFDO

Authors P. J. A. Lentfert, S. Doaitse Swierstra

Publication date 7 April 1994

zbMATH Keywords

distributed algorithmsformal specificationself- stabilizing algorithmspanning tree

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Distributed algorithms (68W15)

Recommendations

• Self-stabilization with path algebra
• Self-stabilization with \(r\)-operators
• A belated proof of self-stabilization
• Binary self-stabilization in distributed systems

Cited in

(9)

• Quasi-self-stabilization of a distributed system assuming read/write atomicity
• Factorizing fault tolerance.
• Self-stabilizing distributed algorithms by gellular automata
• scientific article; zbMATH DE number 2061546 (Why is no real title available?)
• Daemon Conversions in Distributed Self-stabilizing Algorithms
• Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
• Introduction to Distributed Self-Stabilizing Algorithms
• Extending Lattice Linearity for Self-stabilizing Algorithms
• Finite-state self-stabilizing protocols in message-passing systems

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 Q4281546)