伊万·普罗基奇;雨果·托雷斯·维埃拉 （C_\pi\）-演算：机密名称传递的模型。 （英语） Zbl 1455.68128号 J.日志。阿尔盖布。方法计划。 119，文章ID 100622，32 p.（2021）.MSC公司：68问题85 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}和\textit{H.T.Vieira}，J.Log。阿尔盖布。方法计划。119，文章ID 100622，32 p.（2021；Zbl 1455.68128） 全文： 内政部 arXiv公司
米歇尔·布格列西;达里奥·科拉佐;西尔维亚·克拉法;马其顿，达米亚诺 一种用于自由访问控制的类型系统。 （英语） Zbl 1172.68043号 数学。结构。计算。科学。 第4期第19页，第839-875页（2009年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，《数学》。结构。计算。科学。19，第4号，839--875（2009；Zbl 1172.68043） 全文： 内政部
约翰·博格斯特罗姆;安德鲁·戈登。;安德鲁·菲利普斯 像素的图表语义。 （英语） Zbl 1277.68164号 Amadio，Roberto（编辑）等人，第14届并发表达性国际研讨会论文集（EXPRESS 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第2期，3-29页（2008年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人，《电子》。理论注释。计算。科学。194，第2号，第3--29号（2008；Zbl 1277.68164） 全文： 内政部