帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 基于目录的一致性协议的自动验证。 （英语） Zbl 1260.68224号 Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579736-50（2009）。MSC公司：60年第68季度 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。5797、36-50（2009年；Zbl 1260.68224） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 作用中的单调抽象。（分布式互斥算法的自动验证）。 （英语） Zbl 1161.68612号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。《计算机科学讲义》5160，50-65（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。5160、50-65（2008年；Zbl 1161.68612） 全文： 内政部