Hierarchical Correctness Proofs for Distributed Algorithms
Author(s)
Lynch, Nancy A.; Tuttle, Mark S.
DownloadMIT-LCS-TR-387.pdf (3.829Mb)
Metadata
Show full item recordAbstract
This thesis introduces a new model for distributed computation in asynchronous networks, the input-output automaton. This simple, powerful model captures in a novel way the game-theoretical interaction between a system and its environment, and allows fundamental properties of distributed computation such as fair computation to be naturally expressed.
Date issued
1987-04Series/Report no.
MIT-LCS-TR-387