Coordination Models and Languages

1. Front Matter

   PDF

2. Stochastic Process Algebra and Stability Analysis of Collective Systems

   • Luca Bortolussi, Diego Latella, Mieke Massink

   Pages 1-15

3. Modelling MAC-Layer Communications in Wireless Systems

   • Andrea Cerone, Matthew Hennessy, Massimo Merro

   Pages 16-30

4. Coordinating Phased Activities while Maintaining Progress

   • Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

   Pages 31-44

5. Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

   • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

   Pages 45-59

6. Pattern Matching and Bisimulation

   • Thomas Given-Wilson, Daniele Gorla

   Pages 60-74

7. Component-Based Autonomic Managers for Coordination Control

   • Soguy Mak Karé Gueye, Noël de Palma, Eric Rutten

   Pages 75-89

8. Multi-threaded Active Objects

   • Ludovic Henrio, Fabrice Huet, Zsolt István

   Pages 90-104

9. Scheduling Open-Nested Transactions in Distributed Transactional Memory

   • Junwhan Kim, Roberto Palmieri, Binoy Ravindran

   Pages 105-120

10. Peer-Based Programming Model for Coordination Patterns

    • Eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek, Thomas Scheller

    Pages 121-135

11. Decidability Results for Dynamic Installation of Compensation Handlers

    • Ivan Lanese, Gianluigi Zavattaro

    Pages 136-150

12. Probabilistic Modular Embedding for Stochastic Coordinated Systems

    • Stefano Mariani, Andrea Omicini

    Pages 151-165

13. ByteSTM: Virtual Machine-Level Java Software Transactional Memory

    • Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri

    Pages 166-180

14. The Future of a Missed Deadline

    • Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori

    Pages 181-195

15. Event Loop Coordination Using Meta-programming

    • Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter

    Pages 196-210

16. Interactive Interaction Constraints

    • José Proença, Dave Clarke

    Pages 211-225

17. Towards Distributed Reactive Programming

    • Guido Salvaneschi, Joscha Drechsler, Mira Mezini

    Pages 226-235

18. Typing Progress in Communication-Centred Systems

    • Hugo Torres Vieira, Vasco Thudichum Vasconcelos

    Pages 236-250

19. Back Matter

    PDF

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

• decidability
• runtime systems
• socio-technical systems
• transactional memory
• verification

• IMT - Institute for Advanced Studies Lucca, Lucca, Italy

  Rocco Nicola

• The University of Texas at Austin, Austin, USA

  Christine Julien

Policies and ethics