Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks

DOI10.1007/S00446-019-00365-ZzbMath1460.68018OpenAlexW2983897333MaRDI QIDQ2204779

Sandeep S. Kulkarni, Vidhya Tekken Valapil

Publication date: 16 October 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-019-00365-z

zbMATH Keywords

self-stabilizationphysical timebounded spaceunbounded variables

Mathematics Subject Classification ID

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

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Termination detection for diffusing computations
• Self-stabilizing extensions for message-passing systems
• Fault-containing self-stabilizing distributed protocols
• Practically stabilizing SWMR atomic memory in message-passing systems
• Impossibility of distributed consensus with one faulty process
• Self-stabilizing systems in spite of distributed control
• Time, clocks, and the ordering of events in a distributed system
• Distributed reset
• Resettable vector clocks
• Self-stabilizing Virtual Synchrony

This page was built for publication: Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks