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


Stochastic Process Algebra and Stability Analysis of Collective Systems.

Luca Bortolussi, Diego Latella, Mieke Massink


Modelling MAC-Layer Communications in Wireless Systems.

Andrea Cerone, Matthew Hennessy, Massimo Merro


Coordinating Phased Activities while Maintaining Progress.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos


Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

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


Pattern Matching and Bisimulation.

Thomas Given-Wilson, Daniele Gorla


Component-Based Autonomic Managers for Coordination Control.

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


Multi-threaded Active Objects.

Ludovic Henrio, Fabrice Huet, Zsolt István


Scheduling Open-Nested Transactions in Distributed Transactional Memory.

Junwhan Kim, Roberto Palmieri, Binoy Ravindran


Peer-Based Programming Model for Coordination Patterns.

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


Decidability Results for Dynamic Installation of Compensation Handlers.

Ivan Lanese, Gianluigi Zavattaro


Probabilistic Modular Embedding for Stochastic Coordinated Systems.

Stefano Mariani, Andrea Omicini


ByteSTM: Virtual Machine-Level Java Software Transactional Memory.

Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri


The Future of a Missed Deadline.

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


Event Loop Coordination Using Meta-programming.

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


Interactive Interaction Constraints.

José Proença, Dave Clarke


Towards Distributed Reactive Programming.

Guido Salvaneschi, Joscha Drechsler, Mira Mezini


Typing Progress in Communication-Centred Systems.

Hugo Torres Vieira, Vasco Thudichum Vasconcelos