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


Fault in the Future.

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro


Revisiting Glue Expressiveness in Component-Based Systems.

Cinzia Di Giusto, Jean-Bernard Stefani


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

Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab


The Context of Coordinating Groups in Dynamic Mobile Networks.

Christine Julien


CSP as a Coordination Language.

Moritz Kleine


An Efficient Management of Correlation Sets with Broadcast.

Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi


Session Typing for a Featherweight Erlang.

Dimitris Mostrous, Vasco Thudichum Vasconcelos


Safe Parallel Programming with Session Java.

Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis


Fair Subtyping for Multi-party Session Types.

Luca Padovani


Enabling Cross-Technology Mobile Applications with Network-Aware References.

Kevin Pinte, Dries Harnie, Theo D'Hondt


Coordination and Concurrency in Multi-engine Prolog.

Paul Tarau


Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks.

Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa


Simulation-Based Performance Analysis of Channel-Based Coordination Models.

Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei


Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson