Obálka

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 /

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, DisCoTe...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Di Giusto, Cinzia (Editor), Ravara, António (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Vydání:1st ed. 2025.
Edice:Lecture Notes in Computer Science, 15731
Témata:
Software engineering.
Operating systems (Computers).
Computers, Special purpose.
Artificial intelligence.
Application software.
Software Engineering.
Operating Systems.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer and Information Systems Applications.
On-line přístup:https://doi.org/10.1007/978-3-031-95589-1
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • -- 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.

Podobné jednotky