Author: Luca de Alfaro

This volume contains the papers presented at CONCUR 2005, the 16th – ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, de …

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany …

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as …