摘要
1 Ashcroft，E.A.证明关于并行程序的断言。 应用分析与计算机科学系研究代表CS-73-01。， 滑铁卢大学，1973年。 谷歌学者 
2 Dijkstra，E.W.合作顺序过程。 《编程语言》，F.Genuys（编辑），学术出版社，1968年，第43-112页。 谷歌学者 三 Floyd，R.W.为程序指定含义。 在计算机科学的数学方面，Amer。 数学。 Soc.，1967年，第19-32页。 谷歌学者 4 Habermann，A.N.通信过程的同步。 Comm.ACM 15，3（1972年3月），171-176。 谷歌学者 数字图书馆 
5 Lauer，H.C.操作系统的正确性。 卡内基梅隆大学博士，1972年。 谷歌学者 数字图书馆 6 Levit，K.N，《程序验证技术在同步过程验证中的应用》。 AFIPS确认程序。， 第41卷，第1部分，1972年秋季联合计算机会议，AFIPS出版社，新泽西州蒙特瓦尔，1972年，第33-47页。 谷歌学者 数字图书馆
索引术语
归约：证明并行程序属性的一种方法
建议
不可分割商品对非对称代理人的公平分配 AAMAS’17：第16届自治代理和多代理系统会议记录 我们研究将不可分割的货物公平分配给享有不平等权利的代理人。 我们的重点是货物不可分割且代理人享有不平等权利的情况。 这个问题是Procaccia和Wang[14]工作的概括。。。
