Coordination Models and Languages

Description

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces. Front Matter ....Pages I-XII Space-Time Universality of Field Calculus (Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli)....Pages 1-20 Foundations of Coordination and Contracts and Their Contribution to Session Type Theory (Mario Bravetti, Gianluigi Zavattaro)....Pages 21-50 Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli)....Pages 51-80 On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study (Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden)....Pages 81-109 A Formal Approach to the Engineering of Domain-Specific Distributed Systems (Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi)....Pages 110-141 Rule-Based Form for Stream Constraints (Kasper Dokter, Farhad Arbab)....Pages 142-161 Forward to a Promising Future (Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo)....Pages 162-180 Aggregation Policies for Tuple Spaces (Linas Kaminskas, Alberto Lluch Lafuente)....Pages 181-199 Distributed Coordination Runtime Assertions for the Peer Model (eva Kühn, Sophie Therese Radschek, Nahla Elaraby)....Pages 200-219 Active Objects for Coordinating BSP Computations (Short Paper) (Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen)....Pages 220-230 Boosting Transactional Memory with Stricter Serializability (Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay)....Pages 231-251 From Field-Based Coordination to Aggregate Computing (Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini)....Pages 252-279 Back Matter ....Pages 281-281