This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical understanding of their behaviour is examined in detail. Topics include process algebra, true concurrency, verification case studies and more.