home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Electronic Notes in Theoretical Computer Science
, Volume 181
Volume 181, June 2007
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BoellaDOTCL07
ask others
Google
Google Scholar
MS Academic Search
PubZone
Guido Boella
,
Mehdi Dastani
,
Andrea Omicini
,
Leendert W. N. van der Torre
,
Ivana Cerna
,
Isabelle Linden
:
Preface.
1-3
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/El-HassanF07
ask others
Google
Google Scholar
MS Academic Search
PubZone
Osama El-Hassan
,
José Luiz Fiadeiro
:
Role-based Architectural Modelling of Socio-Technical Systems.
5-17
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/MontesiGLZ07
ask others
Google
Google Scholar
MS Academic Search
PubZone
Fabrizio Montesi
,
Claudio Guidi
,
Roberto Lucchi
,
Gianluigi Zavattaro
:
JOLIE: a Java Orchestration Language Interpreter Engine.
19-33
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BakhshiG07
ask others
Google
Google Scholar
MS Academic Search
PubZone
Rena Bakhshi
,
Dilian Gurov
:
Verification of Peer-to-peer Algorithms: A Case Study.
35-47
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BarbosaB07a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Marco Antonio Barbosa
,
Luís Soares Barbosa
:
An Orchestrator for Dynamic Interconnection of Software Components.
49-61
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BettiniNFL07
ask others
Google
Google Scholar
MS Academic Search
PubZone
Lorenzo Bettini
,
Rocco De Nicola
,
Daniele Falassi
,
Michele Loreti
:
Implementing a Distributed Mobile Calculus Using the IMC Framework.
63-79
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/Safranek07a
ask others
Google
Google Scholar
MS Academic Search
PubZone
David Safránek
:
Architectural Interoperability Checking in Visual Coordination Networks.
81-96
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/Talcott07
ask others
Google
Google Scholar
MS Academic Search
PubZone
Carolyn L. Talcott
:
Policy-based Coordination in PAGODA: A Case Study.
97-112