Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference o...