Correctness Proof for a Network Synchronizer

In this paper we offer a formal, rigorous proof of the correctness of Awerbuch's algorithm for network synchronization [1]. We specify both the algorithm and the correctness condition using the I/O automaton model.

Bibliographic Details
Main Authors:	Devarajan, Harish, Fekete, Alan, Lynch, Nancy A., Shrira, Liuba
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149753

Similar Items

A Modular Proof of Correctness for a Network Synchronizer
by: Fekete, A., et al.
Published: (2023)

Efficient At-most-once Messages Based on Synchronized Clocks
by: Liskov, Barbara, et al.
Published: (2023)

Hierarchical Correctness Proofs for Distributed Algorithms
by: Lynch, Nancy A., et al.
Published: (2023)

Opportunistic Log: Efficient Installation Reads in a Reliable Object Server
by: O'Toole, James, et al.
Published: (2023)

A Hundred Impossibility Proofs for Distributed Computing
by: Lynch, Nancy A.
Published: (2023)

Hybrid Caching for Scalable Oject Systems (Think Globally, Act Locally)
by: O'Toole, James, et al.
Published: (2023)

A Technique for Constructing Highly-Available Services
by: Ladin, Rivka, et al.
Published: (2023)

Cross-chain deals and adversarial commerce
by: Herlihy, Maurice, et al.
Published: (2021)

Achieving Security in Proof-of-Proof Protocol with Non-Zero Synchronization Time
by: Lyudmila Kovalchuk, et al.
Published: (2022-07-01)

I/O Automaton Models and Proofs for Shared-Key Communication Systems
by: Lynch, Nancy A.
Published: (2023)

Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases
by: Boyapati, Chandrasekhar, et al.
Published: (2023)

Cross-chain deals and adversarial commerce
by: Herlihy, Maurice, et al.
Published: (2022)

Lazy Replication: Exploiting the Semantics of Distributed Services
by: Ladin, Rivka, et al.
Published: (2023)

Automatic Software Upgrades for Distributed Systems
by: Ajmani, Sameer, et al.
Published: (2005)

Computationally Efficient Error-Correcting Codes and Holographic Proofs
by: Spielman, Daniel Alan
Published: (2023)

Computationally efficient error-correcting codes and holographic proofs
by: Spielman, Daniel Alan
Published: (2007)

Program Correctness Proofs
by: Hoare, C
Published: (1975)

Electing a Leader in a Synchronous Ring
by: Frederickson, Greg N., et al.
Published: (2023)

Simple Bivalency Proofs of the Lower Bounds in Synchronous Consensus Problems
by: Wang, Xianbing, et al.
Published: (2003)

Coordinated Resource Management in a Replicated Objected Server
by: Ghemawat, Sanjay, et al.
Published: (2023)

Specifying and Using a Partitionable Group Communication Service*
by: Fekete, Alan, et al.
Published: (2023)

Proof of Correctness of Data Representations
by: Hoare, C
Published: (1972)

Copy preparation and proof correction
by: 8096 British Standards Institution

Colour proof correction symbols
by: 8096 British Standards Institution

A Lattice-structured Proof Technique Applied to a Minimum Spanning Tree Algorithm
by: Welch, Jennifer Lundelius, et al.
Published: (2023)

The Impact of Synchronous Communication on. The Problem of Electing a Leader in a Ring
by: Lynch, Nancy A., et al.
Published: (2023)

A first course in proof correcting/
by: 398980 Dellow, E. L.
Published: (1979)

The Proof of the Fermat’s Conjecture in the Correct Domain
by: Saimir A. Lolja
Published: (2018-12-01)

HQ Replication: Properties and Optimizations
by: Cowling, James, et al.
Published: (2007)

Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
by: Fekete, Alan, et al.
Published: (2023)

Hybrid Atomicity for Nested Transactions
by: Fekete, Alan, et al.
Published: (2023)

HOW TO CHECK AND CORRECT COLOR PROOFS /
by: 331125 Bann, David
Published: (1990)

Correction: The Antsy Social Network: Determinants of Nest Structure and Arrangement in Asian Weaver Ants.
by: Kadambari Devarajan
Published: (2016-01-01)

Spontaneous Synchronization of Beating Cilia: An Experimental Proof Using Vision-Based Control
by: Mohamed Elshalakani, et al.
Published: (2018-04-01)

A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs
by: Keidar, Idit, et al.
Published: (2023)

Author Correction: Synchronization in networked systems with large parameter heterogeneity
by: Amirhossein Nazerian, et al.
Published: (2023-09-01)

Proof of correctness of proposed ATM retransmission scheme
Published: (2003)

Error-Correction Code Proof-of-Work on Ethereum
by: Hyoungsung Kim, et al.
Published: (2021-01-01)

Development of explosion-proof permanent magnet synchronous motor with variable-frequency drive integratio
by: ZHANG Yanmin, et al.
Published: (2017-11-01)

A Dynamic Primary View Group Communication Service
by: De Prisco, Roberto, et al.
Published: (2023)