Slightly off topic but you may also want to check out Leslie Lamport's classic Teaching Concurrency. http://research.microsoft.com/en-us/um/people/lamport/pubs

Slightly off topic but you may also want to check out Leslie Lamport's classic Teaching Concurrency. http://research.microsoft.com/en-us/um/people/lamport/pubs/teaching-concurrency.pdf http://research.microsoft.com/en-us/um/people/lamport/pubs/t...