Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

18. COORDINATION 2017: Neuchâtel, Switzerland

> 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/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2017
Jean-Marie Jacquet, Mieke Massink:
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Lecture Notes in Computer Science 10319, Springer 2017, ISBN 978-3-319-59745-4

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Serugendo17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Serugendo17
Giovanna Di Marzo Serugendo:
Spatial Edge Services - From Coordination Model to Actual Applications. 3-17

Languages and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaDIT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with Attribute-Based Communication. 21-39
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/KrauweelJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/KrauweelJ17
Marco Krauweel, Sung-Shik T. Q. Jongmans:
Simpler Coordination of JavaScript Web Workers. 40-58
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AudritoDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoDV17
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. 59-77
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/LouvelPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LouvelPRS17
Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla:
Development Tools for Rule-Based Coordination Programming in LINC. 78-96

Types

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ImaiYY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ImaiYY17
Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A Session-Based Library with Polarities and Lenses. 99-118
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BarbaneraLd17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BarbaneraLd17
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro:
Retractable and Speculative Contracts. 119-137
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GadducciMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GadducciMR17
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán:
A Denotational View of Replicated Data Types. 138-156

Resource, Components and Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BaldanBL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BaldanBL17
Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente:
Many-to-Many Information Flow Policies. 159-177
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BrogiCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BrogiCS17
Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included. 178-196
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BliudzeSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BliudzeSZ17
Simon Bliudze, Alena Simalatsar, Alina Zolotukhina:
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. 197-216

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DuranS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DuranS17
Francisco Durán, Gwen Salaün:
Verifying Timed BPMN Processes Using Maude. 219-236
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BernardiF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BernardiF17
Giovanni Bernardi, Adrian Francalanza:
Full-Abstraction for Must Testing Preorders - (Extended Abstract). 237-255
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BeekCHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BeekCHK17
Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn:
Communication Requirements for Team Automata. 256-277

a service of

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.