default search action

combined dblp search
author search
venue search
publication search

ask others

26th COORDINATION 2024: Groningen, The Netherlands

> 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2024
Ilaria Castellani, Francesco Tiezzi:
Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Lecture Notes in Computer Science 14676, Springer 2024, ISBN 978-3-031-62696-8

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PalLC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PalLC24
Sourabh Pal, Ivan Lanese, Massimo Clo:
Choreographic Automata: A Case Study in Healthcare Management. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CarboneV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CarboneV24
Marco Carbone, Adele Veschetti:
A Probabilistic Choreography Language for PRISM. 20-37
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BogoBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BogoBS24
Benjamin Bogø, Andrea Burattin, Alceste Scalas:
Encoding Petri Nets into CCS. 38-55
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DominiAEV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DominiAEV24
Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli:
Field-Based Coordination for Federated Learning. 56-74
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BurloFST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BurloFST24
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto:
COTS: Connected OpenAPI Test Synthesis for RESTful Applications. 75-92
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Basile24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Basile24
Davide Basile:
Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. 93-110
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AliLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AliLP24
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun:
Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. 111-128
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AudritoBDST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoBDST24
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta:
An Enhanced Exchange Operator for XC. 129-145

Short Paper

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CarboneCFGJMPSTVYZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CarboneCFGJMPSTVYZ24
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon:
The Concurrent Calculi Formalisation Benchmark. 149-158

Survey Paper

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BeekHP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BeekHP24
Maurice H. ter Beek, Rolf Hennicker, José Proença:
Team Automata: Overview and Roadmap. 161-198

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PalmaGMTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PalmaGMTZ24
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. 201-218
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AlsubhiD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AlsubhiD24
Arwa Hameed Alsubhi, Ornela Dardha:
Coconut: Typestates for Embedded Systems. 219-238
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AfonsoSMRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AfonsoSMRT24
João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto:
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). 239-257
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AguzziCCV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AguzziCCV24
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli:
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. 258-276
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiudiceCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiudiceCL24
Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti:
Visualisation of Collective Systems with Sequit and Sibilla. 277-294
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FrancalanzaTP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FrancalanzaTP24
Adrian Francalanza, Gerard Tabone, Frank Pfenning:
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). 295-313
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PomboMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PomboMT24
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
SEArch: An Execution Infrastructure for Service-Based Software Systems. 314-330

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.