Lecture Notes in Computer Science - Coordination Models and Languages
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540256304, 9783540320067

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Case Study of Web Services Orchestration

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_1 ◽

2005 ◽

pp. 1-16 ◽

Author(s):

Manuel Mazzara ◽

Sergio Govoni

Keyword(s):

Web Services ◽

Services Orchestration

Download Full-text

Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_8 ◽

2005 ◽

pp. 109-124 ◽

Author(s):

Giovanni Russello ◽

Michel Chaudron ◽

Maarten van Steen

Keyword(s):

Shared Data ◽

Download Full-text

Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_9 ◽

2005 ◽

pp. 125-139

Author(s):

Arnab Ray

Keyword(s):

Information Flow ◽

Distributed Information

Download Full-text

Global Computing in a Dynamic Network of Tuple Spaces

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_11 ◽

2005 ◽

pp. 157-172 ◽

Author(s):

Rocco De Nicola ◽

Daniele Gorla ◽

Rosario Pugliese

Keyword(s):

Dynamic Network ◽

Global Computing ◽

Download Full-text

Tagged Sets: A Secure and Transparent Coordination Medium

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_17 ◽

2005 ◽

pp. 252-267 ◽

Author(s):

Manuel Oriol ◽

Michael Hicks

Keyword(s):

Download Full-text

Abstract Interpretation-Based Verification of Non-functional Requirements

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_4 ◽

2005 ◽

pp. 49-62 ◽

Author(s):

Agostino Cortesi ◽

Francesco Logozzo

Keyword(s):

Abstract Interpretation ◽

Functional Requirements

Download Full-text

Delegation Modeling with Paradigm

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_7 ◽

2005 ◽

pp. 94-108 ◽

Author(s):

Luuk Groenewegen ◽

Niels van Kampenhout ◽

Erik de Vink

Download Full-text

A Correct Abstract Machine for Safe Ambients

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_2 ◽

2005 ◽

pp. 17-32 ◽

Author(s):

Daniel Hirschkoff ◽

Damien Pous ◽

Davide Sangiorgi

Keyword(s):

Abstract Machine

Download Full-text

Preserving Architectural Properties in Multithreaded Code Generation

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_13 ◽

2005 ◽

pp. 188-203 ◽

Author(s):

Marco Bernardo ◽

Edoardo Bontà

Keyword(s):

Code Generation

Download Full-text

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11417019_14 ◽

2005 ◽

pp. 204-219 ◽

Author(s):

Nadia Busi ◽

Gianluigi Zavattaro

Keyword(s):

Shared Data ◽

Coordination Languages ◽

Parallel Reactions

Download Full-text