互斥协议相关论文
安全性和活性是两大基本的系统属性,对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理,发现其缺乏对状态序......
提高计算机网络系统可靠性主要有两大类技术:避错技术和容错技术。以提高元器件可靠性为主的避错技术并不能消除不可预测故障对计算......