HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
   


Full Text Documents

14

Search


 
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/