扩展虚拟同步相关硕士博士期刊学术论文 - 信丰网

扩展虚拟同步相关论文

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

组通信系统是为方便开发容错的分布式应用系统而提出的一种通信中间件.虚拟同步是组通信系统中的一个重要概念.其本质是限制向所有......

期刊

组通信系统扩展虚拟同步 I/O自动机形式描述形式验证 group communication system extended virtual synchr

看过本文同时还关注