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 Roberto Casadei, Fatemeh Ghassemi, editors

Format:

Book

Conference/Event

Contributor:

Casadei, Roberto, editor.

Ghassemi, Fatemeh, editor.

Conference Name:

COORDINATION (Conference) (28th : 2026 : Urbino, Italy)

Series:

Lecture notes in computer science ; 16590.

Lecture notes in computer science 1611-3349 16590

Language:

English

Subjects (All):

Parallel processing (Electronic computers).

Electronic data processing--Distributed processing.

Electronic data processing.

Genre:

proceedings (reports)

Conference papers and proceedings

Conference papers and proceedings.

Physical Description:

1 online resource

Place of Publication:

Cham, Switzerland Springer [2026]

Summary:

"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"-- Springer Nature Link

Contents:

Timed scenario expressions and realisability / Neda Saeedloei and Feliks Kluzniak

HistMSO : a logic for reasoning about consistency models with MONA / Isabelle Coget and Etienne Lozes

Motif refinement for the hierarchical control of structured CPSs / Simon Bliudze, Sophie Cerf, and Olga Kouchnarenko

Aggregate indoor localisation / Giorgio Audrito, Leonardo Bertolino, Ferruccio Damiani, and Gianluca Torta

A self-stabilizing min-max consensus via path-loop detection / Angela Cortecchia, Danilo Pianini, and Mirko Viroli

ScalaTropy : multiparty coordination with monadic communication primitives / Nicolas Farabegoli, Luca Tassinari, Gianluca Aguzzi, and Mirko Viroli

Bach4Popper : towards federated inductive logic programming using coordination / Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, and Wim Vanhoof

Runtime adaptation as a programming pattern in service composition / Carlos G. Lopez Pombo, Pablo Montepagano, and Emilio Tuosto

Phyelds : a Pythonic framework for aggregate computing / Gianluca Aguzzi, Davide Domini, Nicolas Farabegoli, and Mirko Viroli

Proof of delivery : mechanized mailbox types / Edgard Schiebelbein, Annette Bieniusa, and Simon Fowler

Deductive verification of legal contracts / Reiner Hähnle and Cosimo Laneve

Simulation and analysis of indoor-air-quality measuring devices with YODA / Riccardo Petracci, Nicola Del Giudice, Diletta Romana Cacciagrano, and Michele Loreti

High-fidelity simulation of aggregate computing systems with Collektivity / Filippo Gurioli, Martina Baiardi, Angela Cortecchia, and Danilo Pianini

Notes:

Includes bibliographical references and index

Online resource; title from PDF title page (Springer Nature Link, viewed June 23, 2026)

Other Format:

Print version COORDINATION (Conference) (28th : 2026 : Urbino, Italy) Coordination models and languages

ISBN:

9783032283580

3032283582

OCLC:

1597432707

Access Restriction:

Restricted for use by site license