安德烈亚·马林；卡拉广场；萨宾娜·罗西 DPSNI（_PSNI）：分隔的持久随机不干涉。 （英语） Zbl 1517.68066号 西奥。计算。科学。 884, 116-135 (2021).MSC公司：68平方米25 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Marin}等人，Theor。计算。科学。884116-135（2021年；Zbl 1517.68066） 全文： 内政部
奇亚拉博迪；吉安·路易吉，法拉利；科拉多·普里亚米 皮耶保罗·德加诺。 （英语） Zbl 1434.68011号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 1-6 (2015).MSC公司：2003年8月 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。9465，1--6（2015；Zbl 1434.68011） 全文： 内政部