Model Checking; Modular-Structured Nonblocking Atomic; asynchronous distributed systems; fault-tolerant;
机译:分布式系统中的非阻塞原子承诺:基于通用协议的教程
机译:分布式多数据库系统的可靠的全球原子承诺协议
机译:分布式多数据库系统的可靠的全球原子承诺协议
机译:模型检查异步分布式系统的模块化结构非阻塞原子承诺协议
机译:分布式系统的通信诱导检查点和恢复协议
机译:异步分布式多电极微刺激可减少颞叶癫痫的背面破伤风毒素模型中的癫痫发作
机译:异步分布式系统的模块化结构无阻塞原子承诺协议模型检查
机译:模型检查分布式文件系统的缓存一致性协议