
____________________________________________________________

TO FIX
- reorder material of lectures 2 & 3 (safety and Java)
    - slot example too early?
- rename chapter 3 Mutual Exclusion?
- p 115 Minimal transfer protocol
    - used as a buffer between two hosts
    - but resource() method leaks the id!
    - should only support exchange()
- Lecture 5 (Liveness & deadlock) TOO SHORT (need 30 foils)
    * add ND safety property discussion (NDprop.ltsa)
    - add fairness discussion here?
- was sick for lecture 8; did 8 and half of 9 in one session
	[tight but ok]
- ditto 2d half of 9 plus lecture 10 together

* Lab examples don't run with Netscape?!
	- make sure problems & solutions have different class names
	[Netscape doesn't reload classes correctly]

* MISSING summary foils for lecture 10!

- Optimistic Methods  design steps
	- what does this mean?:
	"Maintain a serialized copy of object state."

____________________________________________________________

TO DO
* Update question list!
* Liveness: add example of multiple put & get threads
  to illustrate problems with notify() vs. notifyAll()
* somewhere define "race condition"
- Prepare web page of demo examples?
    - Need to add comments!

____________________________________________________________
