Verification by Construction of Distributed Algorithms
Book chapter (October 2019)
Self-* and P2P for Network Management
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 State of the Art
-
Altmetric BadgeChapter 3 Principles of the Self-* P2P Design
-
Altmetric BadgeChapter 4 Case Study I: Reliability of Monitoring Platforms
-
Altmetric BadgeChapter 5 Case Study II: Resource Management of Network Virtualization
-
Altmetric BadgeChapter 6 Results Discussion
-
Altmetric BadgeChapter 7 Conclusions