MASSACHUSETTS INSTITUTE OF TECHNOLOGY April / Massachusetts Institute of Technology / /
IndustryTerm
mutual exclusion algorithms / important algorithms / protocol individual processors / descriptive tool / asynchronous network / asynchronous networks / communications algorithms / asynchronous distributed algorithms / distributed minimum spanning tree algorithm / asynchronous systems / hardware register algorithms / event-driven systems / concurrency control algorithms / algorithms / energy / /
Organization
University of Nebraska / MASSACHUSETTS INSTITUTE OF TECHNOLOGY / Department of Electrical Engineering and Computer Science / Departmental Committee on Graduate Students Hierarchical Correctness Proofs for Distributed Algorithms / /
Person
Nancy A. Lynch Thesis Supervisor Arthur / Yoram Moses / Mark R. Tuttle / Nancy A. Lynch / Arthur C. Smith / Mark R. Tuttle Submitted / Mi / Jennifer Welch / Ken Goldman / Margaret / Michael Merritt / Brian Coan / Hoare / Alan Fekete / /
Position
Author / arbiter and the arbiter / model / Chairman / Thesis supervisor / thesis advisor / Professor of Computer Science / arbiter / /
Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln