Table of Contents
|
Coordination Models and Languages
Wolfgang Meuter, Gruia-Catalin Roman (Eds.)
|
Front Matter |
Fault in the Future
Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
1-15 |
Revisiting Glue Expressiveness in Component-Based Systems
Cinzia Giusto, Jean-Bernard Stefani |
16-30 |
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
Sung-Shik Jongmans, Christian Krause, Farhad Arbab |
31-48 |
The Context of Coordinating Groups in Dynamic Mobile Networks
Christine Julien |
49-64 |
CSP as a Coordination Language
Moritz Kleine |
65-79 |
An Efficient Management of Correlation Sets with Broadcast
Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi |
80-94 |
Session Typing for a Featherweight Erlang
Dimitris Mostrous, Vasco Vasconcelos |
95-109 |
Safe Parallel Programming with Session Java
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |
110-126 |
Fair Subtyping for Multi-Party Session Types
Luca Padovani |
127-141 |
Enabling Cross-Technology Mobile Applications with Network-Aware References
Kevin Pinte, Dries Harnie, Theo D’hondt |
142-156 |
Coordination and Concurrency in Multi-engine Prolog
Paul Tarau |
157-171 |
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks
Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa |
172-186 |
Simulation-Based Performance Analysis of Channel-Based Coordination Models
C. Verhoef, C. Krause, O. Kanters, R. Mei |
187-201 |
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Nielson |
202-218 |
Hosted by HAL : 