LCS Publication Details
Publication Title: A MODULAR PROOF OF CORRECTNESS FOR A NETWORK SYNCHRONIZER
Publication Author: Fekete, Alan
Additional Authors: Lynch, N. and Shrira, L.
LCS Document Number: MIT-LCS-TM-341
Publication Date: 9-1-1987
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
In this paper we offer a formal, rigorous proof of correctness of Awerbuch's algorithm for network synchronization. We specify both the algorithm and the correctness condition using the I/O automation model, which has previously been used to describe and verify algorithm for concurrency control and resource allocation. We show that the model is also a powerful toll for reasoning about distributed graph algorithms.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.