View Document Preview and Link Document Date: 2007-04-26 00:00:00 Open Document File Size: 245,87 KB Share Result on Facebook
Company Mark R. Tuttle Laboratory / / Facility Computer Science Massachusetts Institute of Technology Cambridge / / IndustryTerm important algorithms / protocol individual processors / descriptive tool / asynchronous distributed networks / asynchronous network / communications algorithms / asynchronous distributed algorithms / distributed minimum spanning tree algorithm / low-level protocol / asynchronous systems / simpler algorithms / event-driven systems / resource allocation algorithm / algorithms / / Organization Defense Advanced Research Projects Agency / Institute of Technology Cambridge / National Science Foundation / Massachusetts Institute of Technology / / Person Shankar / Nancy A. Lynch / Lam / Ai / / Position model / distributed arbiter / model / the arbiter / head / arbiter / careful writer / / Product K-0125 / K-0168 / K-0058 / / ProvinceOrState Sch / A2 / A1 / Massachusetts / / Technology detailed algorithm / communications algorithms / preceding algorithm / important algorithms / resource allocation algorithm / distributed minimum spanning tree algorithm / simulation / asynchronous distributed algorithms / low-level protocol / protocol individual processors / / SocialTag 
Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology