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

Filter your results

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

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

 Simon Bliudze , Alena Simalatsar , Alina Zolotukhina
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.197-216, ⟨10.1007/978-3-319-59746-1_11⟩
Conference papers hal-01657340v1
Image document

Session-ocaml: A Session-Based Library with Polarities and Lenses

 Keigo Imai , Nobuko Yoshida , Shoji Yuen
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩
Conference papers hal-01657342v1
Image document

Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.178-196, ⟨10.1007/978-3-319-59746-1_10⟩
Conference papers hal-01657338v1
Image document

Simpler Coordination of JavaScript Web Workers

 Marco Krauweel , Sung-Shik Jongmans
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.40-58, ⟨10.1007/978-3-319-59746-1_3⟩
Conference papers hal-01657346v1
Image document

AErlang: Empowering Erlang with Attribute-Based Communication

 Rocco de Nicola , Tan Duong , Omar Inverso , Catia Trubiani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.21-39, ⟨10.1007/978-3-319-59746-1_2⟩
Conference papers hal-01657341v1
Image document

Spatial Edge Services - From Coordination Model to Actual Applications

 Giovanna Di Marzo Serugendo
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.3-17, ⟨10.1007/978-3-319-59746-1_1⟩
Conference papers hal-01657349v1
Image document

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed

 Giorgio Audrito , Ferruccio Damiani , Mirko Viroli
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.59-77, ⟨10.1007/978-3-319-59746-1_4⟩
Conference papers hal-01657344v1
Image document

Full-Abstraction for Must Testing Preorders

 Giovanni Bernardi , Adrian Francalanza
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.237-255, ⟨10.1007/978-3-319-59746-1_13⟩
Conference papers hal-01657337v1

Coordination Models and Languages

 Jean-Marie Jacquet , Mieke Massink
Springer International Publishing, LNCS-10319, 2017, Lecture Notes in Computer Science, 978-3-319-59745-4. ⟨10.1007/978-3-319-59746-1⟩
Books hal-01657345v1
Image document

A Denotational View of Replicated Data Types

 Fabio Gadducci , Hernán Melgratti , Christian Roldán
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩
Conference papers hal-01657339v1
Image document

Communication Requirements for Team Automata

 Maurice Beek , Josep Carmona , Rolf Hennicker , Jetty Kleijn
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.256-277, ⟨10.1007/978-3-319-59746-1_14⟩
Conference papers hal-01657348v1
Image document

Many-to-Many Information Flow Policies

 Paolo Baldan , Alessandro Beggiato , Alberto Lluch Lafuente
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers hal-01657347v1
Page :