↓ Skip to main content
What is this page? Embed badge

Web Services and Formal Methods

Overview of attention for book
Cover of 'Web Services and Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Understanding Distributed Services through the π -Calculus
  3. Altmetric Badge
    Chapter 2 Reliable Contracts for Unreliable Half-Duplex Communications
  4. Altmetric Badge
    Chapter 3 Behavior Based Service Composition
  5. Altmetric Badge
    Chapter 4 Compatibility of Data-Centric Web Services
  6. Altmetric Badge
    Chapter 5 Web Services and Formal Methods
  7. Altmetric Badge
    Chapter 6 Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
  8. Altmetric Badge
    Chapter 7 An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework
  9. Altmetric Badge
    Chapter 8 Design of a BPEL Verification Tool
  10. Altmetric Badge
    Chapter 9 Applying Process Analysis to the Italian eGovernment Enterprise Architecture
  11. Altmetric Badge
    Chapter 10 Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures
Attention for Chapter 6: Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
Altmetric Badge

Readers on

mendeley
7 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
Chapter number 6
Book title
Web Services and Formal Methods
Published by
Springer, Berlin, Heidelberg, September 2011
DOI 10.1007/978-3-642-29834-9_6
Book ISBNs
978-3-64-229833-2, 978-3-64-229834-9
Authors

Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 29%
Professor > Associate Professor 2 29%
Student > Master 2 29%
Student > Doctoral Student 1 14%
Readers by discipline Count As %
Computer Science 7 100%

This page is provided by Altmetric.