The book builds on the student's familiarity with sequential programming in a high level language, and is concerned mainly with the high level aspects of concurrency.