Formal Methods for Web Services - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642019173, 9783642019180

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Contract-Based Discovery and Composition of Web Services

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_7 ◽

2009 ◽

pp. 261-295 ◽

Cited By ~ 18

Author(s):

Mario Bravetti ◽

Gianluigi Zavattaro

Keyword(s):

Web Services

Download Full-text

Calculi for Service-Oriented Computing

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_1 ◽

2009 ◽

pp. 1-41 ◽

Cited By ~ 10

Author(s):

Roberto Bruni

Keyword(s):

Service Oriented Computing ◽

Service Oriented

Download Full-text

Quantitative Analysis of Web Services Using SRMC

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_8 ◽

2009 ◽

pp. 296-339 ◽

Cited By ~ 4

Author(s):

Allan Clark ◽

Stephen Gilmore ◽

Mirco Tribastone

Keyword(s):

Quantitative Analysis ◽

Web Services

Download Full-text

Fundamentals of Session Types

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_4 ◽

2009 ◽

pp. 158-186 ◽

Cited By ~ 17

Author(s):

Vasco T. Vasconcelos

Keyword(s):

Session Types

Download Full-text

Contract-Based Discovery and Adaptation of Web Services

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_6 ◽

2009 ◽

pp. 213-260 ◽

Cited By ~ 8

Author(s):

Luca Padovani

Keyword(s):

Web Services

Download Full-text

Asynchronous Session Types: Exceptions and Multiparty Interactions

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_5 ◽

2009 ◽

pp. 187-212 ◽

Cited By ~ 8

Author(s):

Marco Carbone ◽

Nobuko Yoshida ◽

Kohei Honda

Keyword(s):

Session Types

Download Full-text

Service Interaction: Patterns, Formalization, and Analysis

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_2 ◽

2009 ◽

pp. 42-88 ◽

Cited By ~ 56

Author(s):

Wil M. P. van der Aalst ◽

Arjan J. Mooij ◽

Christian Stahl ◽

Karsten Wolf

Keyword(s):

Interaction Patterns ◽

Service Interaction

Download Full-text

Synthesis and Composition of Web Services

Formal Methods for Web Services - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01918-0_3 ◽

2009 ◽

pp. 89-157 ◽

Cited By ~ 25

Author(s):

Annapaola Marconi ◽

Marco Pistore

Keyword(s):

Web Services

Download Full-text

Formal Methods for Web Services - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Contract-Based Discovery and Composition of Web Services

Calculi for Service-Oriented Computing

Quantitative Analysis of Web Services Using SRMC

Fundamentals of Session Types

Contract-Based Discovery and Adaptation of Web Services

Asynchronous Session Types: Exceptions and Multiparty Interactions

Service Interaction: Patterns, Formalization, and Analysis

Synthesis and Composition of Web Services

Formal Methods for Web Services - Lecture Notes in Computer Science
Latest Publications