Structures in Concurrency Theory

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.