| date | topic | reading | leader |
| Jan 23 | logistics,lambda-calc. | Foundational Calculi for Programming Languages (Pierce) | Pierce |
| Jan 25 | pi-calculus | Foundational Calculi for Programming Languages | Pierce |
| Jan 30 | pi-calculus | Foundational Calculi for Programming Languages | Pierce |
| Feb 1 | ambients | Mobile Ambients (Cardelli and Gordon) | Pierce |
| Feb 6 | ambients | Abstractions for Mobile Computation (Cardelli) | Pierce |
| Feb 8 | join calculus | A calculus of mobile agents (Fournet et al) | McDougall |
| Feb 13 | seal calculus | A Framework for Secure Mobile Computation (Vitek and Castagna) | Goodloe |
| Feb 15 | agent economies | Markets and computation: Agoric open systems (Miller and Drexler) | Ungar (guest) |
| Feb 20 | agent economies | Mojo Nation | May |
| Feb 22 | agent economies | Mariposa: A Wide-Area Distributed Database System (Stonebraker et al) | Cotton |
| Feb 27 | basics of authentication | Authentication in Distributed Systems (Lampson) | Zheng |
| Mar 1 | basics of authentication | Authentication in Distributed Systems | Chadha |
| Mar 6 | trust in active networks | S&SofPNI (Alexander et al.) + A Secure Plan (Hicks and Keromytis) | Smith (guest) |
| Mar 8 | trust management (QCM) | Policy-directed certificate retrieval (Gunter and Jim) | Karthik |
| Mar 20 | freenet | Freenet paper project proposals due | Marcus |
| Mar 22 | agreement | Fault-tolerant broadcasts (Hadzilacos and Toueg) [except 5.9] | Zima |
| Mar 27 | agreement | Non-blocking atomic committment (Babaoglu and Toueg) | Moffit |
| Mar 29 | agreement | Guerraoui papers (2) | Gapeyev |
| Apr 3 | transactions | Bernstein, Hadzilacos and Goodman, Chapter 1 | Davidson (guest) |
| Apr 5 | transactions | Transaction Processing Techniques (Weihl) | Sran |
| Apr 10 | transactions | Distributed Programming in Argus (Liskov) project status reports due | McDougall |
| Apr 12 | transactions | Advanced Transaction Models (Elmagarmid) | |
| Apr 17 | transactions | Linearizability (Herlihy and Wing) | |
| Apr 19 | no class | ||
| Apr 24 | project presentations | ||
| Apr 26 | project presentations | final projects due May 3 |