COORDINATION C

15 papers

YearTitle / Authors
2011Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks.
Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
2011An Efficient Management of Correlation Sets with Broadcast.
Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
2011CSP as a Coordination Language.
Moritz Kleine
2011Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
2011Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Wolfgang De Meuter, Gruia-Catalin Roman
2011Coordination and Concurrency in Multi-engine Prolog.
Paul Tarau
2011Enabling Cross-Technology Mobile Applications with Network-Aware References.
Kevin Pinte, Dries Harnie, Theo D'Hondt
2011Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
2011Fair Subtyping for Multi-party Session Types.
Luca Padovani
2011Fault in the Future.
Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
2011Revisiting Glue Expressiveness in Component-Based Systems.
Cinzia Di Giusto, Jean-Bernard Stefani
2011Safe Parallel Programming with Session Java.
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
2011Session Typing for a Featherweight Erlang.
Dimitris Mostrous, Vasco Thudichum Vasconcelos
2011Simulation-Based Performance Analysis of Channel-Based Coordination Models.
Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei
2011The Context of Coordinating Groups in Dynamic Mobile Networks.
Christine Julien