default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. COORDINATION 2011: Reykjavik, Iceland
- Wolfgang De Meuter, Gruia-Catalin Roman:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
