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...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Elektroniczne E-book |
| Język: | angielski |
| Wydane: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Wydanie: | 1st ed. 2025. |
| Seria: | Lecture Notes in Computer Science,
15731 |
| Hasła przedmiotowe: | |
| Dostęp online: | https://doi.org/10.1007/978-3-031-95589-1 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-95589-1 | ||
| 003 | DE-He213 | ||
| 005 | 20260706120045.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250618s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031955891 |9 978-3-031-95589-1 | ||
| 024 | 7 | |a 10.1007/978-3-031-95589-1 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 1 | 0 | |a Coordination Models and Languages |h [electronic resource] : |b 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 / |c edited by Cinzia Di Giusto, António Ravara. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a XXIV, 245 p. 68 illus., 44 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15731 | |
| 505 | 0 | |a -- 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. | |
| 520 | |a 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. | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Operating systems (Computers). | |
| 650 | 0 | |a Computers, Special purpose. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Application software. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Operating Systems. |
| 650 | 2 | 4 | |a Special Purpose and Application-Based Systems. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Computer and Information Systems Applications. |
| 700 | 1 | |a Di Giusto, Cinzia. |e editor. |0 (orcid)0000-0003-1563-6581 |1 https://orcid.org/0000-0003-1563-6581 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Ravara, António. |e editor. |0 (orcid)0000-0001-8074-0380 |1 https://orcid.org/0000-0001-8074-0380 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031955884 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031955907 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15731 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-95589-1 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||