This volume provides an overview of current research work in the area of
concurrency theory. It will be of interest to students and researchers
in a number of related areas, including semantics of programming
languages, distributed algorithms, and verification.