Formal Techniques for Distributed Objects, Components, and Systems

The book "Formal Techniques for Distributed Objects, Components, and Systems" documents the proceedings of the 39th IFIP WG 6.1 International Conference, which took place in June 2019 in Copenhagen, Denmark. This conference is part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. This volume includes 15 full papers and 3 short contributions, carefully selected from 42 submitted works. The conference focuses on fundamental research into theories, models, tools, and applications for distributed systems. The topics addressed are central to the advancement and understanding of distributed objects and components in modern systems.