Ebook: 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.

---

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.

---

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.
Content:
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 -

---

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.
Content:
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 -
....