Presents the research on concurrency, parallelism, and distribution, important paradigms of modern computer science. Topics considered include semantics for concurrent systems, modeling of concurrency, mobile and coordinated systems, algebraic specifications, and Petri nets. DLC: Graph grammars.