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.
| Main Authors: | , , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149753 |
| _version_ | 1811092381432283136 |
|---|---|
| author | Devarajan, Harish Fekete, Alan Lynch, Nancy A. Shrira, Liuba |
| author_facet | Devarajan, Harish Fekete, Alan Lynch, Nancy A. Shrira, Liuba |
| author_sort | Devarajan, Harish |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T15:16:55Z |
| id | mit-1721.1/149753 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:16:55Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1497532023-03-30T03:15:41Z Correctness Proof for a Network Synchronizer Devarajan, Harish Fekete, Alan Lynch, Nancy A. Shrira, Liuba 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. 2023-03-29T15:21:01Z 2023-03-29T15:21:01Z 1993-12 https://hdl.handle.net/1721.1/149753 MIT-LCS-TR-588 application/pdf |
| spellingShingle | Devarajan, Harish Fekete, Alan Lynch, Nancy A. Shrira, Liuba Correctness Proof for a Network Synchronizer |
| title | Correctness Proof for a Network Synchronizer |
| title_full | Correctness Proof for a Network Synchronizer |
| title_fullStr | Correctness Proof for a Network Synchronizer |
| title_full_unstemmed | Correctness Proof for a Network Synchronizer |
| title_short | Correctness Proof for a Network Synchronizer |
| title_sort | correctness proof for a network synchronizer |
| url | https://hdl.handle.net/1721.1/149753 |
| work_keys_str_mv | AT devarajanharish correctnessproofforanetworksynchronizer AT feketealan correctnessproofforanetworksynchronizer AT lynchnancya correctnessproofforanetworksynchronizer AT shriraliuba correctnessproofforanetworksynchronizer |