Formal Methods for Web Services
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Calculi for Service-Oriented Computing
-
Altmetric BadgeChapter 2 Service Interaction: Patterns, Formalization, and Analysis
-
Altmetric BadgeChapter 3 Synthesis and Composition of Web Services
-
Altmetric BadgeChapter 4 Fundamentals of Session Types
-
Altmetric BadgeChapter 5 Asynchronous Session Types: Exceptions and Multiparty Interactions
-
Altmetric BadgeChapter 6 Contract-Based Discovery and Adaptation of Web Services
-
Altmetric BadgeChapter 7 Contract-Based Discovery and Composition of Web Services
-
Altmetric BadgeChapter 8 Quantitative Analysis of Web Services Using SRMC
Altmetric Badge
About this Attention Score
-
Good Attention Score compared to outputs of the same age (71st percentile)
-
Good Attention Score compared to outputs of the same age and source (68th percentile)
Citations
- dimensions_citation
- 4 Dimensions
Readers on
- mendeley
- 27 Mendeley