A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms