index - Coordination Models and Languages
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

 
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

 


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