分布式云时钟和网络同步模型的新等价证明| IEEE会议出版物| IEEE Xplore