The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation.
The material is organized to form the basis of a practical course. Each chapter contains numerous examples, case studies, exercises and a summary of related work in a bibliography.
The book begins with an assessment of the problems that a structural model for distributed communicating systems must address. Bigraphs are introduced first informally, then rigorously, before being used to describe the configuration of component agents. The static theory of Part I gives way in Part II to examining the dynamics of interactions, leading to the notion of behavioural equivalence and its consequences.
The final Part explores a number of developments, in particular with regard to ubiquitous computing and biological systems. Ideas for future research and applications are presented.