A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations [Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations]

Maurice Djibril Faye, Eddy Caron, Ousmane Thiare. A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations [Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations]. ARIMA J., 25, 2016. [doi]

@article{FayeCT16,
  title = {A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations [Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations]},
  author = {Maurice Djibril Faye and Eddy Caron and Ousmane Thiare},
  year = {2016},
  url = {https://arima.episciences.org/2582},
  researchr = {https://researchr.org/publication/FayeCT16},
  cites = {0},
  citedby = {0},
  journal = {ARIMA J.},
  volume = {25},
}