Dhama, Abhishek (2013) A compositional framework for Designing self-stabilizing distributed algorithms. PhD, Universität Oldenburg.