@inproceedings{andriamiarina:hal-01018125, TITLE = {{Analysis of Self-* and P2P Systems using Refinement}}, AUTHOR = {Andriamiarina, Manamiary Bruno and M{\'e}ry, Dominique and Singh, Neeraj Kumar}, URL = {https://inria.hal.science/hal-01018125}, BOOKTITLE = {{ABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z}}, ADDRESS = {Toulouse, France}, ORGANIZATION = {{Yamine AIT AMEUR and Klaus-Dieter SCHEWE}}, EDITOR = {Yamine AIT AMEUR and Klaus-Dieter SCHEWE}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {8477}, PAGES = {117-123}, YEAR = {2014}, MONTH = Jun, DOI = {10.1007/978-3-662-43652-3\_9}, KEYWORDS = {Distributed systems ; self- ; self-healing ; self-stabilization ; P2P ; EVENT B ; liveness ; service-as-event}, HAL_ID = {hal-01018125}, HAL_VERSION = {v1}, }