Lightweight Methods for Automated Design of Self-Stabilization

Aly Farahat, Ali Ebnenasir. Lightweight Methods for Automated Design of Self-Stabilization. In 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. pages 2014-2017, IEEE, 2011. [doi]

Abstract

Abstract is missing.