home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
12.
COORDINATION
2011: Reykjavik, Iceland
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/2011
ask others
Google
Google Scholar
MS Academic Search
PubZone
Wolfgang De Meuter
,
Gruia-Catalin Roman
(Eds.):
Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings.
Springer 2011
Lecture Notes in Computer Science
ISBN 978-3-642-21463-9
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/JohnsenLZ11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Einar Broch Johnsen
,
Ivan Lanese
,
Gianluigi Zavattaro
:
Fault in the Future.
1-15
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/GiustoS11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Cinzia Di Giusto
,
Jean-Bernard Stefani
:
Revisiting Glue Expressiveness in Component-Based Systems.
16-30
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/JongmansKA11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Sung-Shik T. Q. Jongmans
,
Christian Krause
,
Farhad Arbab
:
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
31-48
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/Julien11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Christine Julien
:
The Context of Coordinating Groups in Dynamic Mobile Networks.
49-64
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/Kleine11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Moritz Kleine
:
CSP as a Coordination Language.
65-79
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/MauroGGM11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jacopo Mauro
,
Maurizio Gabbrielli
,
Claudio Guidi
,
Fabrizio Montesi
:
An Efficient Management of Correlation Sets with Broadcast.
80-94
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/MostrousV11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dimitris Mostrous
,
Vasco Thudichum Vasconcelos
:
Session Typing for a Featherweight Erlang.
95-109
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/NgYPHK11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Nicholas Ng
,
Nobuko Yoshida
,
Olivier Pernet
,
Raymond Hu
,
Yiannos Kryftis
:
Safe Parallel Programming with Session Java.
110-126
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/Padovani11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Luca Padovani
:
Fair Subtyping for Multi-party Session Types.
127-141
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/PinteHD11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Kevin Pinte
,
Dries Harnie
,
Theo D'Hondt
:
Enabling Cross-Technology Mobile Applications with Network-Aware References.
142-156
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/Tarau11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Paul Tarau
:
Coordination and Concurrency in Multi-engine Prolog.
157-171
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/UmataniYY11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Seiji Umatani
,
Masahiro Yasugi
,
Taiichi Yuasa
:
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks.
172-186
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/VerhoefKKM11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Chrétien Verhoef
,
Christian Krause
,
Oscar Kanters
,
Rob van der Mei
:
Simulation-Based Performance Analysis of Channel-Based Coordination Models.
187-201
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/coordination/YangAMNN11
ask others
Google
Google Scholar
MS Academic Search
PubZone
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