MPG.eBooks - Search Results

1

Verification of communication protocols in web services : model-checking service compositions

by Mukherjee, Anshuman
Published 2013

John Wiley & Sons

Table of Contents: “...8.2 Overview of the Problem and Solution8.3 Related Work; 8.4 Colored Petri Net Semantics for BPEL...”

Read Now

2

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part VII

Published 2024

Springer Nature Singapore

Read Now

3

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part III

Published 2024

Springer Nature Singapore

Read Now

4

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part VI

Published 2024

Springer Nature Singapore

Read Now

5

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part II

Published 2024

Springer Nature Singapore

Read Now

6

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part I

Published 2024

Springer Nature Singapore

Read Now

7

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part V

Published 2024

Springer Nature Singapore

Read Now

8

Algorithms and Architectures for Parallel Processing : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part IV

Published 2024

Springer Nature Singapore

Narrow Search