Clocks ; Synchronism ; Proving ; Stabilization ; Messages ; Protocol(Computers) ; Claiming ; Convergence;
机译:任意有向图的自稳定分布式时钟同步协议
机译:用于任意有向图的自稳定同步协议的模拟器
机译:分布式守护程序模型下两种自稳定算法的简短正确性证明
机译:一种用于任意有向图的自稳定同步协议:一种针对任意有向图的自稳定分布式时钟同步协议
机译:分布式控制和计算:最佳估计,纠错代码和交互式协议。
机译:严格建模自稳定的容错电路:片上系统的超鲁棒时钟方案
机译:模型检查任意有向图的自稳定同步协议