A somewhat more extended version of this work is accessible as a technical report:
Group Communication Specifications: A Comprehensive Study,
Roman Vitenberg, Idit Keidar, Gregory V. Chockler, and Danny Dolev,
Technical Report CS0964, Computer Science Department, the Technion, Haifa, Israel;
Technical Report MIT-LCS-TR-790, Massachusetts Institute of Technology, Laboratory for Computer Science;
Technical Report CS99-31, Institute of Computer Science, The Hebrew University of Jerusalem.
ps, ps.gz, Abstract
Originally, this lengthy work stems from my M.Sc. thesis:
The full version of this paper appears in:
Efficient State Transfer in Partitionable Environemnts,
Yair Amir, Gregory V. Chockler, Danny Dolev and Roman Vitenberg,
Technical Report CS98-12, Institute of Computer Science,
The Hebrew University of Jerusalem, August 1998.