大型分布式系统中的概率时钟同步| IEEE Journals&Magazine | IEEE Xplore