Structures in Concurrency Theory : Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT)

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.