Group Communication in Partitionable Systems: Specification and Algorithms