The time section and homework
Work puzzling out the results of interleavening executions
Considering the failure modes preventable with an internally stored serializer inside make-account
Analysis of another form of make-account with an internal serializer
An example of a combinable and serializible make-account
Analyzing a tranfer procedure
Analyzing a mixed serilizer and account
The book's implementation of a mutex
An implementation of semaphores using mutexes