Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak. A Formal Approach to Replica Consistency in Directory Service. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I. Volume 6067 of Lecture Notes in Computer Science, pages 216-225, Springer, 2009. [doi]
Abstract is missing.