Mikel Larrea, Michel Raynal. Specifying and Implementing an Eventual Leader Service for Dynamic Systems. In Leonard Barolli, Fatos Xhafa, Makoto Takizawa, editors, The 14th International Conference on Network-Based Information Systems, NBiS 2011, Tirana, Albania, September 7-9, 2011. pages 243-249, IEEE Computer Society, 2011. [doi]