Coordination Models and Languages, Kartoniert / Broschiert
Coordination Models and Languages
- 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, 2025, Proceedings
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Cinzia Di Giusto, António Ravara
- Verlag:
- Springer, 06/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031955884
- Artikelnummer:
- 12330029
- Umfang:
- 272 Seiten
- Gewicht:
- 417 g
- Maße:
- 235 x 155 mm
- Stärke:
- 15 mm
- Erscheinungstermin:
- 18.6.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- 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.