Analysis of Self-* and P2P Systems using Reﬁnement (Full Report)
Andriamiarina , Manamiary Bruno
Méry , Dominique
Singh , Neeraj Kumar
- Publisher: HAL CCSD
[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation
Distributed systems and applications require efficient and effective techniques (e.g. self (re)configuration, self-healing, etc.) for ensuring safety, security and more generally dependability properties, as well as convergence. The complexity of these systems is increa...