This book constitutes the thoroughly refereed post-conference proceedings of the Fourth Internati...

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects...

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of ...

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fun...

This volume contains the proceedings of the Fifth International Conference on Coordination Models...

Formal Logic.- Formal Methods.- Programming Languages.-Semantics.- Software Engineering.- Speci...