摩西，约拉姆;卡蒂亚·帕金 互斥作为优先事项。 （英语） 兹比尔1407.68068 西奥。计算。科学。 751, 46-60 (2018).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moses}和\textit{K.Patkin}，Theor。计算。科学。751、46-60（2018年；Zbl 1407.68068） 全文： 内政部
摩西，约拉姆;卡蒂亚·帕金 在烘焙算法的框架下：互斥作为优先事项。 （英语） Zbl 1407.68067号 Christian Scheidler（编辑），《结构信息和通信复杂性》。2015年7月14日至16日，西班牙蒙特塞拉特，第22届国际学术讨论会，SIROCCO 2015。后期制作。查姆：斯普林格。莱克特。注释计算。科学。9439, 399-413 (2015).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moses}和\textit{K.Patkin}，莱克特。注释计算。科学。9439、399--413（2015；Zbl 1407.68067） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 作用中的单调抽象。（分布式互斥算法的自动验证）。 （英语） 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） 全文： 内政部