洛伦佐·贝蒂尼;维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;贝蒂·文内里 爪哇和兰姆达：一个轻量级的故事。 （英语） Zbl 1398.68079号 日志。方法计算。科学。 14，第3号，第17号论文，24页（2018年）.MSC公司：68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，日志。方法计算。科学。14，第3号，第17号论文，24页（2018；Zbl 1398.68079） 全文： 内政部 arXiv公司
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko 子类型的含义和操作精确性：路线图。在弗兰克·德·波尔60岁生日之际献给他。 （英语） Zbl 1475.68082号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。第9660、155-172页（2016年）。MSC公司：68号30 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。9660，155--172（2016；Zbl 1475.68082） 全文： 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 （英语） 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） 全文： 内政部 arXiv公司
洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文奈里 派生对象的会话和联合类型。 （英语） Zbl 1308.68035号 数学。结构。计算。科学。 23，第6期，1163-1219（2013）. 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68号30 68甲19 68问题55 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，《数学》。结构。计算。科学。23，第6号，1163--1219（2013；Zbl 1308.68035） 全文： 内政部
萨拉·卡佩基;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;索菲亚·德罗索波卢;埃琳娜·贾奇诺 将面向对象语言中的会话和方法与泛型合并。 （英语） Zbl 1169.68011号 西奥。计算。科学。 410，编号2-3，142-167（2009）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛S.Capecchi｝等人，Theor。计算。科学。410，编号2-3142-167（2009年；兹bl 1169.68011） 全文： 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 面向对象编程的会话和联合类型。 （英语） Zbl 1143.68355号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065659-680（2008）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，Lect。注释计算。科学。5065659--680（2008年；Zbl 1143.68355） 全文： 内政部 链接
马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;吉田、Nobuko 面向对象语言的异步会话类型和进度。 （英语） Zbl 1202.68094号 Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468，1-31（2007）。MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Coppo}等人，Lect。注释计算。科学。4468，1--31（2007；Zbl 1202.68094） 全文： 内政部 链接
马里亚纽拉州Dezani-Ciancaglini;吉田、Nobuko;亚历山大·埃亨;索菲亚·德罗索波卢 具有会话类型的分布式面向对象语言。 （英语） Zbl 1151.68347号 De Nicola，Rocco（编辑）等人，《值得信赖的全球计算》。国际研讨会，TGC2005，英国爱丁堡，2005年4月7-9日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-30007-4/pbk）。计算机科学课堂讲稿3705，299-318（2005）。MSC公司：68甲15 68甲19 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。3705、299--318（2005年；Zbl 1151.68347） 全文： 内政部
范·贝克尔，斯特芬;佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;德弗里斯，Fer-Jan \（\lambda\）-树的交集类型。 （英语） Zbl 0984.68033号 西奥。计算。科学。 272，第1-2、3-40号（2002年）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}等人，Theor。计算。科学。272，第1-2,3-40号（2002年；Zbl 0984.68033） 全文： 内政部
索菲亚·德罗索波卢;费卢西奥·达米亚尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 \（\mathcal F\）咯咯作响：动态对象重新分类。 （英语） Zbl 0982.68636号 Lindskov Knudsen，Jörgen（编辑），ECOOP 2001-面向对象编程。第十五届欧洲会议，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2072, 130-149 (2001).MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Drossopoulou}等人，Lect。注释计算。科学。2072、130--149（2001年；Zbl 0982.68636） 全文： 内政部