default search action

combined dblp search
author search
venue search
publication search

ask others

27th COORDINATION 2025: Lille, France

> Home > Conferences and Workshops > COORDINATION

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2025
Cinzia Di Giusto, António Ravara:
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. Lecture Notes in Computer Science 15731, Springer 2025, ISBN 978-3-031-95588-4

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/EsterhuyseLHA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/EsterhuyseLHA25
Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab:
Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. 3-29
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AldiniM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AldiniM25
Alessandro Aldini, Claudio Antares Mezzina:
Formalizing Errors in CCS with 3-Valued Logic. 30-49
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/RubbensBH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/RubbensBH25
Robert Rubbens, Petra van den Bos, Marieke Huisman:
Verified Parameterized Choreographies. 50-69
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GadducciOV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GadducciOV25
Fabio Gadducci, Carlos Olarte, Frank Valencia:
A Constraint Opinion Model. 70-89
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/HuberGRY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/HuberGRY25
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi:
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. 90-113
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BrogiCFFV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BrogiCFFV25
Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti, Mirko Viroli:
Declarative Deployment Planning for Green Pulverised Collective Computational Systems. 114-132
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DelzannoLSZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DelzannoLSZ25
Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro:
Decidability Problems for Micro-Stipula. 133-152
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PomboMSAT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PomboMSAT25
Carlos López Pombo, Hernán C. Melgratti, Agustín E. Martinez Suñé, Diego Senarruzza Anabia, Emilio Tuosto:
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. 153-174
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Talcott25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Talcott25
Carolyn L. Talcott:
Dialects for the CoAP IoT Messaging Protocol. 175-196
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ZuckmantelZDH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ZuckmantelZDH25
Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt:
DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects. 197-216

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ProencaB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ProencaB25
José Proença, Maurice H. ter Beek:
RebeCaos. 219-229
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AguzziBBCCDFPV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AguzziBBCCDFPV25
Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli:
A Demonstrator for Self-organizing Robot Teams. 230-244

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.