首页> 外文OA文献 >Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

【2h】

Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

机译：异步分布式系统的模块化结构无阻塞原子承诺协议模型检查

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Eun-hye Choi; Tatsuhiro Tsuchiya; Tohru Kikuno;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Non-blocking atomic commitment in distributed systems: A tutorial based on a generic protocol [J] . Michel Raynal International Journal of Computer Systems Science & Engineering . 2000,第2期

机译：分布式系统中的非阻塞原子承诺：基于通用协议的教程
2. A RELIABLE GLOBAL ATOMIC COMMITMENT PROTOCOL FOR DISTRIBUTED MULTIDATABASE SYSTEMS [J] . Yoo HD., Kim MH. Information Sciences: An International Journal . 1995,第1a2期

机译：分布式多数据库系统的可靠的全球原子承诺协议
3. A RELIABLE GLOBAL ATOMIC COMMITMENT PROTOCOL FOR DISTRIBUTED MULTIDATABASE SYSTEMS [J] . Yoo HD., Kim MH. Information Sciences: An International Journal . 1995,第1a2期

机译：分布式多数据库系统的可靠的全球原子承诺协议
4. Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems [C] . Choi Eun-Hye, Okamoto Keishi, Tsuchiya Tatsuhiro, First International Workshop on Software Technologies for Future Dependable Distributed Systems . 2009

机译：异步分布式系统的模块化结构无阻塞原子承诺协议模型检查
5. Communication-Induced Checkpointing and Recovery Protocols for Distributed Systems [D] . Luo, Yi 2011

机译：分布式系统的通信诱导检查点和恢复协议
6. Asynchronous distributed multielectrode microstimulation reduces seizures in the dorsal tetanus toxin model of temporal lobe epilepsy [O] . Sharanya Arcot Desai, John D. Rolston, Courtney E. McCracken, -1

机译：异步分布式多电极微刺激可减少颞叶癫痫的背面破伤风毒素模型中的癫痫发作
7. On Efficient Models for Model Checking Message-Passing Distributed Protocols ⋆ [O] . Péter Bokor, Marco Serafini, Neeraj Suri, 2011

机译：关于模型检查消息传递分布式协议的有效模型
8. Model Checking Cache Coherence Protocols for Distributed File Systems [R] . Vaziri-Farahani, M. 1995

机译：模型检查分布式文件系统的缓存一致性协议

Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

著录项

引文网络

相似文献

相关主题

期刊订阅