摘要
1 CHANDY，K.M.和MISRA，J.图上的分布式计算：最短路径算法。 康蒙。 ACM 25,11（1982年11月），833-837。 谷歌学者 
2 CHANDY，K.M.、MISRA，J.和HAAS，L.分布式死锁检测。 ACM事务处理。 康普特。 系统。 第1、2页（1983年5月），第144-156页。 谷歌学者 三 DIJKSTRA，E.W.K.M.Chandy和L.Lamport的分布式快照。 德克萨斯大学技术代表EWD 864a，德克萨斯州奥斯汀，1984年。 谷歌学者 4 DIJKSTRA，E.W.和SCHOLTEN，C.S.扩散计算的终止检测。 Inf.过程。 莱特。 11，1（1980年8月），1-4。 谷歌学者 5 GLIGOR，V.D.和SHATTUCK，S.H.分布式系统中的死锁检测。 IEEE传输。 柔和。 工程SE-6，5（1980年9月），435-440。 谷歌学者 6 LAMPORT，L.分布式系统中的时间、时钟和事件顺序。 科恩恩。 ACM 21,7（1978年7月），558-565。 谷歌学者 7 LAMPORT，L.和CHANDY，K.M.关于分布式计算的部分顺序事件模型。 已提交发布。 谷歌学者 8 MAHOUD，S.A.和RIORDAN，J.S.软件控制对分布式数据库的访问。 INFOR 15，1（1977年2月），22-36。 谷歌学者 9 MENASCE，D.和MUNTZ，R.分布式数据库中的锁定和死锁检测。 IEEE传输。 柔和。 工程SE-5，3（1979年5月），195-202。 谷歌学者 10 MISRA，J.和CHANDY，K.M.通信顺序过程中扩散计算的终止检测。 ACM事务处理。 程序。 语言系统。 4，1（1982年1月），37-43。 谷歌学者 11 OBERMARCK，R.分布式死锁检测算法。 CM变速器。 数据库系统。 7，2（1982年6月），187-208。 谷歌学者
索引术语
分布式快照：确定分布式系统的全局状态
