Search - Coordination Models and Languages (COORDINATION 2016) Access content directly

Filter your results

16 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

On Synchronous and Asynchronous Compatibility of Communicating Components

 Rolf Hennicker , Michel Bidoit , Thanh-Son Dang
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.138-156, ⟨10.1007/978-3-319-39519-7_9⟩
Conference papers hal-01631726v1
Image document

Multilevel Transitive and Intransitive Non-interference, Causally

 Paolo Baldan , Alessandro Beggiato
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.1-17, ⟨10.1007/978-3-319-39519-7_1⟩
Conference papers hal-01631722v1
Image document

A Game Interpretation of Retractable Contracts

 Franco Barbanera , Ugo De’ Liguoro
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.18-34, ⟨10.1007/978-3-319-39519-7_2⟩
Conference papers hal-01631714v1
Image document

An Interference-Free Programming Model for Network Objects

 Bertrand Meyer , Mischael Schill , Christopher M. Poskitt
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.227-244, ⟨10.1007/978-3-319-39519-7_14⟩
Conference papers hal-01631712v1
Image document

Where Do Your IoT Ingredients Come From?

 Chiara Bodei , Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩
Conference papers hal-01631717v1
Image document

On Dynamical Probabilities, or: How to Learn to Shoot Straight

 Herbert Wiklicky
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.262-277, ⟨10.1007/978-3-319-39519-7_16⟩
Conference papers hal-01631724v1
Image document

On Sessions and Infinite Data

 Paula Severi , Luca Padovani , Emilio Tuosto , Mariangiola  Dezani-Ciancaglini
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.245-261, ⟨10.1007/978-3-319-39519-7_15⟩
Conference papers hal-01631727v1
Image document

Tuple Spaces Implementations and Their Efficiency

 Vitaly Buravlev , Rocco De Nicola , Claudio Antares Mezzina
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.51-66, ⟨10.1007/978-3-319-39519-7_4⟩
Conference papers hal-01631715v1
Image document

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination

 Vincenzo Ciancia , Diego Latella , Mieke Massink
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.67-83, ⟨10.1007/978-3-319-39519-7_5⟩
Conference papers hal-01631720v1
Image document

A Semantic Theory of the Internet of Things

 Ruggero Lanotte , Massimo Merro
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.157-174, ⟨10.1007/978-3-319-39519-7_10⟩
Conference papers hal-01631725v1
Image document

Improving Gossip Dynamics Through Overlapping Replicates

 Danilo Pianini , Jacob Beal , Mirko Viroli
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.192-207, ⟨10.1007/978-3-319-39519-7_12⟩
Conference papers hal-01631721v1
Image document

Modelling Ambulance Deployment with CarmaCARMA

 Vashti Galpin
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.121-137, ⟨10.1007/978-3-319-39519-7_8⟩
Conference papers hal-01631713v1
Image document

A Formal Analysis of the Global Sequence Protocol

 Hernán Melgratti , Christian Roldán
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.175-191, ⟨10.1007/978-3-319-39519-7_11⟩
Conference papers hal-01631716v1
Image document

Scheduling Games for Concurrent Systems

 Kasper Dokter , Sung-Shik Jongmans , Farhad Arbab
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers hal-01631719v1

Coordination Models and Languages

 Alberto Lluch Lafuente , José Proença
Springer International Publishing, LNCS-9686, 2016, Lecture Notes in Computer Science, 978-3-319-39518-0. ⟨10.1007/978-3-319-39519-7⟩
Books hal-01631711v1
Image document

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations

 Kiko Fernandez-Reyes , Dave Clarke , Daniel S. Mccain
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.101-120, ⟨10.1007/978-3-319-39519-7_7⟩
Conference papers hal-01631723v1
Page :