default search action

combined dblp search
author search
venue search
publication search

ask others

18. COORDINATION 2016: Heraklion, Crete, Greece

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2016
Alberto Lluch-Lafuente, José Proença:
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9686, Springer 2016, ISBN 978-3-319-39518-0
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BaldanB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BaldanB16
Paolo Baldan, Alessandro Beggiato:
Multilevel Transitive and Intransitive Non-interference, Causally. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Barbanerad16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Barbanerad16
Franco Barbanera, Ugo de'Liguoro:
A Game Interpretation of Retractable Contracts. 18-34
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BodeiDFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Where Do Your IoT Ingredients Come From? 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BuravlevNM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BuravlevNM16
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple Spaces Implementations and Their Efficiency. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CianciaLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CianciaLM16
Vincenzo Ciancia, Diego Latella, Mieke Massink:
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/DokterJA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/DokterJA16
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab:
Scheduling Games for Concurrent Systems. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Fernandez-Reyes16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Fernandez-Reyes16
Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain:
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. 101-120
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Galpin16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Galpin16
Vashti Galpin:
Modelling Ambulance Deployment with CarmaCARMA. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/HennickerBD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/HennickerBD16
Rolf Hennicker, Michel Bidoit, Thanh-Son Dang:
On Synchronous and Asynchronous Compatibility of Communicating Components. 138-156
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/LanotteM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LanotteM16
Ruggero Lanotte, Massimo Merro:
A Semantic Theory of the Internet of Things - (Extended Abstract). 157-174
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/MelgrattiR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/MelgrattiR16
Hernán C. Melgratti, Christian Roldán:
A Formal Analysis of the Global Sequence Protocol. 175-191
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/PianiniBV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/PianiniBV16
Danilo Pianini, Jacob Beal, Mirko Viroli:
Improving Gossip Dynamics Through Overlapping Replicates. 192-207
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/HenrioR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/HenrioR16
Ludovic Henrio, Justine Rochas:
From Modelling to Systematic Deployment of Distributed Active Objects. 208-226
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SchillPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SchillPM16
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. 227-244
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SeveriPTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SeveriPTD16
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. 245-261
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Wiklicky16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Wiklicky16
Herbert Wiklicky:
On Dynamical Probabilities, or: How to Learn to Shoot Straight. 262-277

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.