27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 20 Herausgegeben:Di Giusto, Cinzia; Ravara, António
27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 20 Herausgegeben:Di Giusto, Cinzia; Ravara, António
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17 19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025. The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination. …mehr
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17 19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025.
The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination.
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
.- Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). .- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk).
.- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming.
.- Formalizing Errors in CCS with 3-Valued Logic.
.- Verified Parameterized Choreographies.
.- A Constraint Opinion Model.
.- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software.
.- Declarative Deployment Planning for Green Pulverised Collective Computational Systems.
.- Decidability Problems for Micro-Stipula.
.- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services.
.- Dialects for the CoAP IoT Messaging Protocol.
.- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering.
.- RebeCaos.
.- A Demonstrator Toolchain for Self-organizing Robot Teams.
.- Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). .- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk).
.- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming.
.- Formalizing Errors in CCS with 3-Valued Logic.
.- Verified Parameterized Choreographies.
.- A Constraint Opinion Model.
.- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software.
.- Declarative Deployment Planning for Green Pulverised Collective Computational Systems.
.- Decidability Problems for Micro-Stipula.
.- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services.
.- Dialects for the CoAP IoT Messaging Protocol.
.- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering.
.- RebeCaos.
.- A Demonstrator Toolchain for Self-organizing Robot Teams.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826