Coordination models and languages : 15th International Conference, COORDINATION 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings

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. Front Matter....Pages - Stochastic Process Algebra and Stability Analysis of Collective Systems....Pages 1-15 Modelling MAC-Layer Communications in Wireless Systems....Pages 16-30 Coordinating Phased Activities while Maintaining Progress....Pages 31-44 Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions....Pages 45-59 Pattern Matching and Bisimulation....Pages 60-74 Component-Based Autonomic Managers for Coordination Control....Pages 75-89 Multi-threaded Active Objects....Pages 90-104 Scheduling Open-Nested Transactions in Distributed Transactional Memory....Pages 105-120 Peer-Based Programming Model for Coordination Patterns....Pages 121-135 Decidability Results for Dynamic Installation of Compensation Handlers....Pages 136-150 Probabilistic Modular Embedding for Stochastic Coordinated Systems....Pages 151-165 ByteSTM: Virtual Machine-Level Java Software Transactional Memory....Pages 166-180 The Future of a Missed Deadline....Pages 181-195 Event Loop Coordination Using Meta-programming....Pages 196-210 Interactive Interaction Constraints....Pages 211-225 Towards Distributed Reactive Programming....Pages 226-235 Typing Progress in Communication-Centred Systems....Pages 236-250 Back Matter....Pages -