CSE592 Protocol Design and Analysis (Spring'09)
Announcements


3/2/09
Added links to Slides on mutual exclusion using atomic registers by Taubenfeld
2/19/09
Added links to Python multi-threading and Erlang message passing for concurrent programming
2/13/09
Added links to Python and Python Documentation, including Tutorial, Library, and Manual, under Other Pointers.
Added link to Python Quick Reference.
2/5/09
Added link to core RBAC executable specification in Python.
1/28/09
Added Handout Q for Questionnaire
1/27/09
Course page is created with General Information, Lectures Outline, and Requirements.

Annie Liu