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