奥尔内拉Dardha;佩雷斯（Jorge A.Pérez）。 比较类型系统的死锁自由度。 （英语） Zbl 1477.68177号 J.日志。阿尔盖布。方法计划。 124，文章ID 100717，43 p.（2022）.MSC公司：68问题85 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Dardha}和\textit{J.A.Pérez}，J.Log。阿尔盖布。方法计划。124，文章ID 100717，43 p.（2022；Zbl 1477.68177） 全文： 内政部 arXiv公司 OA许可证
奥尔内拉Dardha;佩雷斯（Jorge A.Pérez）。 比较无死锁会话类型的进程。 （英语） Zbl 1476.68169号 Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，1-15（2015）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛O.Dardha｝和\textit｛J.A.Pérez｝，电子。程序。西奥。计算。科学。（EPTCS）190，1--15（2015；Zbl 1476.68169） 全文： arXiv公司 链接