Protocol(Computers); Distributed processing; Algorithms; Mathematical models; Graphs(Charts); Diagrams; Time synchronization; Timing devices; Drift rate; Topology; Data links; Nodes(Standing waves); Clocks; Convergence;
机译:用于任意有向图的自稳定同步协议的模拟器
机译:任意有向图的自稳定分布式时钟同步协议
机译:培训区块链接协议的正式规范和模型检查(短文)
机译:模型检查任意有向图的自稳定同步协议
机译:模型检查顺序一致性和参数化协议。
机译:严格建模自稳定的容错电路:片上系统的超鲁棒时钟方案
机译:模型检查任意有向图的自稳定同步协议
机译:任意有向图的自稳定同步协议模型检验。