Table of Contents
|
Coordination Models and Languages
Rocco De Nicola, Christine Julien (Eds.)
|
Front Matter |
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 Boer, Mohammad Jaghoori |
181-195 |
Event Loop Coordination Using Meta-programming
Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang 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 |
Hosted by HAL : 