IFIP TC6 Open Digital Library

12. COORDINATION 2011: Reykjavik, Iceland

Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Wolfgang De Meuter, Gruia-Catalin Roman

Springer, Lecture Notes in Computer Science 6721, ISBN: 978-3-642-21463-9



Contents

Fault in the Future.

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro

 1-15

Revisiting Glue Expressiveness in Component-Based Systems.

Cinzia Di Giusto, Jean-Bernard Stefani

 16-30

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.

Sung-Shik T. Q. 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 Thudichum 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.

Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der 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 Riis Nielson

 202-218