By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way software systems are modeled, implemented; investigate specifications before construction. [Prentic...

This book teaches the fundamental concepts of multithreaded, parallel and distributed computing. Emphasizes how to solve problems, with correctness the primary concern and performance an important, but secondary, concern. (Gregory R. Andrews)

This book provides an in-depth overview of underlying principles as well as practical techniques that can be used to design concurrent programs. (Greg Andrews)

By Andrew S Tanenbaum, Albert S Woodhull; Prentice Hall, 2006, ISBN 0131429388. Revised simplified edition, for latest MINIX version. An OS text which first explains relevant principles, then demonstrate their use via Unix-like OS as a detailed example.