|
CSE Home |
About Us |
Search |
Contact Info |
|
Catalog Description: Formal approaches to distributed computing problems. Topics vary, but typically include models of distributed computing, agreement problems, impossibility results, mutual exclusion protocols, concurrent reading while writing protocols, knowledge analysis of protocols, and distributed algorithms. Portions of the CSE 536 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 536 Web: © 1993-1999, Department of Computer Science and Engineering, University of Washington. |
||||||||||||
|
Computer Science & Engineering University of Washington, Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to webmaster@cs.washington.edu] Privacy policy and terms of use | |