Prentice Hall international series in computer science
Includes bibliographical references (pages 252-255) and index.
Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation.