default search action

combined dblp search
author search
venue search
publication search

ask others

25th COORDINATION 2023: Lisbon, Portugal

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2023
Sung-Shik Jongmans, Antónia Lopes:
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13908, Springer 2023, ISBN 978-3-031-35360-4

Keynote

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PfenningP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PfenningP23
Frank Pfenning, Klaas Pruiksma:
Relating Message Passing and Shared Memory, Proof-Theoretically. 3-27

Collective Adaptive Systems and Aggregate Computing

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AguzziCV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AguzziCV23
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. 31-51
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DominiCAV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DominiCAV23
Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli:
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. 52-70
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AudritoCDTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoCDTV23
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. 71-89

Cyber-Physical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FerroCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FerroCM23
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins:
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. 93-114
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CastiglioniLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CastiglioniLT23
Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. 115-132

Verification and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DesgeorgesG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DesgeorgesG23
Loïc Desgeorges, Loïc Germerie Guizouarn:
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. 135-143
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Cruz-FilipeGMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Cruz-FilipeGMP23
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti:
Reasoning About Choreographic Programs. 144-162
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ProencaE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ProencaE23
José Proença, Luc Edixhoven:
Caos: A Reusable Scala Web Animator of Operational Semantics. 163-171
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GiallorenzoMPRU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GiallorenzoMPRU23
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie Framework for Testing Microservices. 172-191

Languages and Processes

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Mezzina0Y23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Mezzina0Y23
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Rollback Recovery in Session-Based Programming. 195-213
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PearsBK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PearsBK23
Jonah Pears, Laura Bocchi, Andy King:
Safe Asynchronous Mixed-Choice for Timed Interactions. 214-231
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ChehidaICV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ChehidaICV23
Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega:
A Formal MDE Framework for Inter-DSL Collaboration. 232-249

Run-Time Changes

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/LanevePS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LanevePS23
Cosimo Laneve, Alessandro Parenti, Giovanni Sartor:
Legal Contracts Amending with [inline-graphic not available: see fulltext]. 253-270
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FarhatBDK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FarhatBDK23
Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. 271-291

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.