• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Operativsystem

    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

    AvCinzia Di Giusto,António Ravara

    Häftad, Engelska, 2025

    Del i serien Lecture Notes in Computer Science

    839 kr

    Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2025-06-18
    • Mått:155 x 235 x 15 mm
    • Vikt:417 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:245
    • Förlag:Springer International Publishing AG
    • ISBN:9783031955884

    Utforska kategorier

    • Operativsystem inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Tillämpad datateknik inom Data och IT

    Innehållsförteckning

    • .- 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.