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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540727934

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Theory for Strong Service Compliance

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_6 ◽

2007 ◽

pp. 96-112 ◽

Cited By ~ 19

Author(s):

Mario Bravetti ◽

Gianluigi Zavattaro

Download Full-text

Requirements for Routing in the Application Layer

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_2 ◽

2007 ◽

pp. 19-36 ◽

Cited By ~ 3

Author(s):

Pamela Zave

Keyword(s):

Application Layer

Download Full-text

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_12 ◽

2007 ◽

pp. 211-230 ◽

Cited By ~ 6

Author(s):

Slim Kallel ◽

Anis Charfi ◽

Mira Mezini ◽

Mohamed Jmaiel

Keyword(s):

Formal Methods

Download Full-text

Generalized Committed Choice

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_11 ◽

2007 ◽

pp. 191-210

Author(s):

Joxan Jaffar ◽

Roland H. C. Yap ◽

Kenny Q. Zhu

Download Full-text

Coordinating Workflow Allocation and Execution in Mobile Environments

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_14 ◽

2007 ◽

pp. 249-267 ◽

Cited By ~ 8

Author(s):

Rohan Sen ◽

Gregory Hackmann ◽

Mart Haitjema ◽

Gruia-Catalin Roman ◽

Christopher Gill

Keyword(s):

Mobile Environments

Download Full-text

A Coordination Model for Triplespace Computing

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_1 ◽

2007 ◽

pp. 1-18 ◽

Cited By ~ 24

Author(s):

Elena Simperl ◽

Reto Krummenacher ◽

Lyndon Nixon

Keyword(s):

Coordination Model

Download Full-text

Component Connectors with QoS Guarantees

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_16 ◽

2007 ◽

pp. 286-304 ◽

Cited By ~ 26

Author(s):

Farhad Arbab ◽

Tom Chothia ◽

Sun Meng ◽

Young-Joo Moon

Keyword(s):

Qos Guarantees

Download Full-text

A Theory of Nested Speculative Execution

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_9 ◽

2007 ◽

pp. 151-170

Author(s):

Cristian Ţăpuş ◽

Jason Hickey

Keyword(s):

Speculative Execution

Download Full-text

Towards a Theory of Refinement in Timed Coordination Languages

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_7 ◽

2007 ◽

pp. 113-131

Author(s):

Jean-Marie Jacquet ◽

Isabelle Linden

Keyword(s):

Coordination Languages

Download Full-text

A Prolog-Based Language for Workflow Programming

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-540-72794-1_4 ◽

2007 ◽

pp. 56-75 ◽

Cited By ~ 3

Author(s):

Steve Gregory ◽

Martha Paschali

Download Full-text

Lecture Notes in Computer Science - Coordination Models and LanguagesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Theory for Strong Service Compliance

Requirements for Routing in the Application Layer

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants

Generalized Committed Choice

Coordinating Workflow Allocation and Execution in Mobile Environments

A Coordination Model for Triplespace Computing

Component Connectors with QoS Guarantees

A Theory of Nested Speculative Execution

Towards a Theory of Refinement in Timed Coordination Languages

A Prolog-Based Language for Workflow Programming

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