12. COORDINATION 2011:
Reykjavik,
Iceland
Wolfgang De Meuter, Gruia-Catalin Roman (Eds.):
Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings.
Lecture Notes in Computer Science 6721 Springer 2011, ISBN 978-3-642-21463-9 
- Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro:
Fault in the Future.
1-15
- Cinzia Di Giusto, Jean-Bernard Stefani:
Revisiting Glue Expressiveness in Component-Based Systems.
16-30
- Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab:
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
31-48
- Christine Julien:
The Context of Coordinating Groups in Dynamic Mobile Networks.
49-64
- Moritz Kleine:
CSP as a Coordination Language.
65-79
- Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi:
An Efficient Management of Correlation Sets with Broadcast.
80-94
- Dimitris Mostrous, Vasco Thudichum Vasconcelos:
Session Typing for a Featherweight Erlang.
95-109
- Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis:
Safe Parallel Programming with Session Java.
110-126
- Luca Padovani:
Fair Subtyping for Multi-party Session Types.
127-141
- Kevin Pinte, Dries Harnie, Theo D'Hondt:
Enabling Cross-Technology Mobile Applications with Network-Aware References.
142-156
- Paul Tarau:
Coordination and Concurrency in Multi-engine Prolog.
157-171
- Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa:
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks.
172-186
- Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei:
Simulation-Based Performance Analysis of Channel-Based Coordination Models.
187-201
- Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson:
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.
202-218
Last update Thu May 24 04:15:20 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
