This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th ...

This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented...

This book constitutes the refereed proceedings of the 11th International Conference on Tests and ...

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

Invited Talks.- Asynchronous Session Types and Progress for Object Oriented Languages.- KeY: A Fo...

This book constitutes the refereed proceedings of the 10th International Conference on Integrated...

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

On or Off the Blockchain? Insights on Off-Chaining Computation and Data.- Microservices and Conta...

This book constitutes the refereed proceedings of the 16th International Conference on Software E...

FASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Trac...

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...