伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;罗斯·霍恩 具有内部委派的全局类型。 （英语） Zbl 1436.68208号 西奥。计算。科学。 807, 128-153 (2020).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛I.Castellani｝等人，Theor。计算。科学。807128-153（2020年；Zbl 1436.68208） 全文： DOI程序 哈尔
斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 链接数据隐私。 （英语） Zbl 1364.68073号 数学。结构。计算。科学。 27，第1号，33-53（2017）.MSC公司：68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人，数学。结构。计算。科学。27、第1号、第33-53号（2017；Zbl 1364.68073） 全文： DOI程序
马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 具有检查点的可逆多方会话。 （英语） Zbl 1478.68190号 Gebler，Daniel（编辑）等人，第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集，EXPRESS/SOS 2016，加拿大魁北克市，2016年8月22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22260-74（2016）。MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Dezani Ciancaglini｝和\textit｛P.Giannini｝，Electron。程序。西奥。计算。科学。（EPTCS）222，60--74（2016；Zbl 1478.68190） 全文： arXiv公司 链接
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;雨果·托雷斯·维埃拉 多方对话中的动态角色授权。 （英语） Zbl 1345.68235号 正式Asp。计算。 28，第4号，643-667（2016）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，正式Asp。计算。28，第4号，643--667（2016；Zbl 1345.68235） 全文： DOI程序 arXiv公司 OA许可证
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯，豪尔赫·A。;彼得·蒂曼;伯纳多·托尼霍;维埃拉、雨果·托雷斯 将行为类型与安全分析相结合。 （英语） Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法程序。84，第6号，763--780（2015；Zbl 1330.68045） 全文： DOI程序 arXiv公司
阿尔贝托·卢什·拉富恩特;尼尔森，弗莱明;尼尔森，Hanne Riis 面向交互规范的自由信息流控制。 （英语） Zbl 1321.68349号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，427-450（2015）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch Lafuente}等人，Lect。注释计算。科学。9200、427--450（2015年；Zbl 1321.68349） 全文： DOI程序 链接