Rewrite of 6.3 Concurrency

This finalizes the rewrite of chapter 6, together with the previous
commit 4fb3ca2.
Should have been in a new PR, but didn't know how.