Coordination Models and Languages
28th IFIP WG 6.1 International Conference, COORDINATION 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2026, held in Urbino, Italy, during June 8–12, 2025, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026.
The 11 full papers, together with 2 tool papers,included in this book were carefully reviewed and selected from 28 submissions. This conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.
Autor*in
Roberto Casadei
Themen in »Coordination Models and Languages«
Embedded and cyber-physical systems Formal language definitions Coordination Distributed programming languages Formal software verification Software as a service orchestration system Verification by model checking Design and analysis of algorithms Semantics and reasoning Self-organization Modeling and simulation Ubiquitous and mobile computing distributed computer systems embedded systems