Coordination Models and Languages

1. Front Matter

   Pages I-XII

   PDF

2. Space-Time Universality of Field Calculus

   • Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli

   Pages 1-20

3. Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

   • Mario Bravetti, Gianluigi Zavattaro

   Pages 21-50

4. Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

   • Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli

   Pages 51-80

5. 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

6. A Formal Approach to the Engineering of Domain-Specific Distributed Systems

   • Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi

   Pages 110-141

7. Rule-Based Form for Stream Constraints

   • Kasper Dokter, Farhad Arbab

   Pages 142-161

8. Forward to a Promising Future

   • Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo

   Pages 162-180

9. Aggregation Policies for Tuple Spaces

   • Linas Kaminskas, Alberto Lluch Lafuente

   Pages 181-199

10. Distributed Coordination Runtime Assertions for the Peer Model

    • eva Kühn, Sophie Therese Radschek, Nahla Elaraby

    Pages 200-219

11. Active Objects for Coordinating BSP Computations (Short Paper)

    • Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen

    Pages 220-230

12. Boosting Transactional Memory with Stricter Serializability

    • Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay

    Pages 231-251

13. From Field-Based Coordination to Aggregate Computing

    • Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini

    Pages 252-279

14. Back Matter

    Pages 281-281

    PDF

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.

• Semantics
• Distributed Computer Systems
• Programming Languages
• Parallel Programming
• Software Engineering
• Distributed Systems
• Programming Models

• University of Geneva, Geneva, Switzerland

  Giovanna Di Marzo Serugendo

• Università degli Studi di Firenze, Florence, Italy

  Michele Loreti

Policies and ethics