Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/