The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...
This book constitutes the refereed proceedings of the 12th European Symposium on Programmin...
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...
This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday...
This book constitutes the refereed proceedings of the first International Conference on Principle...
The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...
This book constitutes the refereed proceedings of the 12th European Symposium on Progr...
This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65 sup th...
This volume presents the set of papers accompanying the lectures of the eighth International Scho...