支持扩展虚拟同步的组通信算法形式描述与验证

• Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Sy