Critical Sections
Semaphores
More practice with interleavings (Adapted from Problem 2.19 from Andrews's MPD text)
mpd-2.19-interleavings.txt