<<< Back to Message Passing Patterns     Forward to Synchronous/Reactive Models >>>

Threads

Lecture notes

Homework

See Synchronous/Reactive Models

Reading

Assigned reading:

  1. Appendix B of Lee & Seshia (2011). Complexity and Computability.
  2. Lee (2006). The Problem with Threads.

Other recommended reading:

  1. Lauer and Needham (1978). On the duality of operating system structures.