This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig...

Invited Talk.- Techniques for Contextual Equivalence in Higher-Order, Typed Languages.- Models an...

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the In...

This book constitutes the proceedings of the 14th International Conference on Software Engineerin...

This book constitutes the refereed proceedings of the 15th International Conference on Coordinati...

This book constitutes the refereed proceeding of the 6th International Conference on Coordination...

This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincel...