<i>Concurrency</i> provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions.<p>New features include:<ul><li>New chapters covering program verification and logical properties.<li>More student exercises.<li>Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking.<li>Website also includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.</ul><p>