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
Component-Based Autonomic Managers for Coordination Control.
Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten
75-89
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
Event Loop Coordination Using Meta-programming.
Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter
196-210
Typing Progress in Communication-Centred Systems.
Hugo Torres Vieira, Vasco Thudichum Vasconcelos
236-250