default search action

combined dblp search
author search
venue search
publication search

ask others

22nd COORDINATION 2020: Valletta, Malta

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2020
Simon Bliudze, Laura Bocchi:
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Lecture Notes in Computer Science 12134, Springer 2020, ISBN 978-3-030-50028-3

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AutiliSPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AutiliSPT20
Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli:
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CotoGT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CotoGT20
Alex Coto, Roberto Guanciale, Emilio Tuosto:
Choreographic Development of Message-Passing Applications - A Tutorial. 20-36

Coordination Languages

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ProencaC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ProencaC20
José Proença, Guillermina Cledou:
ARx: Reactive Programming for Synchronous Connectors. 39-56
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/RoederRAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/RoederRAG20
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck:
Towards Energy-, Time- and Security-Aware Multi-core Coordination. 57-74

Message-Based Communication

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BeekHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BeekHK20
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Team Automata@Work: On Safe Communication. 77-85
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BarbaneraLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BarbaneraLT20
Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Choreography Automata. 86-106
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FrittelliMMT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FrittelliMMT20
Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto:
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. 107-124

Communications: Types and Implementations

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/LagaillardieNY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LagaillardieNY20
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Implementing Multiparty Session Types in Rust. 127-136
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Giunti20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Giunti20
Marco Giunti:
GoPi: Compiling Linear and Static Channels in Go. 137-152
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/UsovD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/UsovD20
Artem Usov, Ornela Dardha:
SFJ: An Implementation of Semantic Featherweight Java. 153-168

Service-Oriented Computing

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NordliNCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NordliNCS20
Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song:
Event-Based Customization of Multi-tenant SaaS Using Microservices. 171-180
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SuneP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SuneP20
Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo:
Quality of Service Ranking by Quantifying Partial Compliance of Requirements. 181-189

Large-Scale Decentralised Systems

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Pianini0VZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Pianini0VZ20
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli:
Time-Fluid Field-Based Coordination. 193-210
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AudritoBDV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoBDV20
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Resilient Distributed Collection Through Information Speed Thresholds. 211-229
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GastLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GastLM20
Nicolas Gast, Diego Latella, Mieke Massink:
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. 230-239

Smart Contracts

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiGM20
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A True Concurrent Model of Smart Contracts Executions. 243-260
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiMZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiMZ20
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
Renegotiation and Recursion in Bitcoin Contracts. 261-278

Modelling

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PittouR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PittouR20
Maria Pittou, George Rahonis:
Architecture Modelling of Parametric Component-Based Systems. 281-300
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/KaryotiP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/KaryotiP20
Vagia Karyoti, Paulina Paraponiari:
Weighted PCL over Product Valuation Monoids. 301-319
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Pinna20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Pinna20
G. Michele Pinna:
Operational Representation of Dependencies in Context-Dependent Event Structures. 320-338

Verification and Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ZhangL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ZhangL020
Xiyue Zhang, Yi Li, Meng Sun:
Towards a Formally Verified EVM in Production Environment. 341-349
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FrancalanzaX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FrancalanzaX20
Adrian Francalanza, Jasmine Xuereb:
On Implementing Symbolic Controllability. 350-369
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/StefanoLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/StefanoLS20
Luca Di Stefano, Frédéric Lang, Wendelin Serwe:
Combining SLiVER with CADP to Analyze Multi-agent Systems. 370-385
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ZarneshanGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ZarneshanGS20
Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani:
Formal Modeling and Analysis of Medical Systems. 386-402

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.