IFIP TC6 Open Digital Library

14. COORDINATION 2013: Florence, Italy

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

Rocco De Nicola, Christine Julien

Springer, Lecture Notes in Computer Science 7890, ISBN: 978-3-642-38492-9, 978-3-642-38493-6



Contents

Stochastic Process Algebra and Stability Analysis of Collective Systems.

Luca Bortolussi, Diego Latella, Mieke Massink

 1-15

Modelling MAC-Layer Communications in Wireless Systems.

Andrea Cerone, Matthew Hennessy, Massimo Merro

 16-30

Coordinating Phased Activities while Maintaining Progress.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

 31-44

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

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

 45-59

Pattern Matching and Bisimulation.

Thomas Given-Wilson, Daniele Gorla

 60-74

Component-Based Autonomic Managers for Coordination Control.

Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten

 75-89

Multi-threaded Active Objects.

Ludovic Henrio, Fabrice Huet, Zsolt István

 90-104

Scheduling Open-Nested Transactions in Distributed Transactional Memory.

Junwhan Kim, Roberto Palmieri, Binoy Ravindran

 105-120

Peer-Based Programming Model for Coordination Patterns.

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

 121-135

Decidability Results for Dynamic Installation of Compensation Handlers.

Ivan Lanese, Gianluigi Zavattaro

 136-150

Probabilistic Modular Embedding for Stochastic Coordinated Systems.

Stefano Mariani, Andrea Omicini

 151-165

ByteSTM: Virtual Machine-Level Java Software Transactional Memory.

Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri

 166-180

The Future of a Missed Deadline.

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

 181-195

Event Loop Coordination Using Meta-programming.

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

 196-210

Interactive Interaction Constraints.

José Proença, Dave Clarke

 211-225

Towards Distributed Reactive Programming.

Guido Salvaneschi, Joscha Drechsler, Mira Mezini

 226-235

Typing Progress in Communication-Centred Systems.

Hugo Torres Vieira, Vasco Thudichum Vasconcelos

 236-250