加利·谢菲;埃雷兹·彼得兰克 安全内存回收的ERA定理。 （英语） 兹伯利07824316 Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。102-112 (2023).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sheffi}和\textit{E.Petrank}，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。102-112（2023；Zbl 07824316） 全文： 内政部 arXiv公司
O'Hearn，Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 关于并发分离逻辑与并发Kleene代数之间的关系。 （英语） Zbl 1330.03072号 J.日志。阿尔盖布。方法计划。 84，第3期，285-302（2015）.MSC公司：03B70号 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}等人，J.Log。阿尔盖布。方法程序。84，第3号，285--302（2015；Zbl 1330.03072） 全文： 内政部