伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 具有灵活选择的可逆会话。 (英语) Zbl 1462.68121号 Acta信息。 56,编号7-8,553-583(2019)。 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,《信息学报》第56期,第7--8553--583号(2019年;Zbl 1462.68121) 全文: 内政部
伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 并发可逆会话。 (英语) Zbl 1442.68129号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第30条,第17页(2017)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,LIPIcs--Leibniz Int.Proc。通知。85,第30条,第17页(2017;Zbl 1442.68129) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;德尼卢,皮埃尔·马洛;马里亚纽拉州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公司
阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 键入反应式程序的无干扰。 (英语) Zbl 1119.68056号 J.日志。阿尔盖布。程序。 72,第2期,124-156(2007)。MSC公司:68N99型 68N17号 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Matos}等人,J.Log。阿尔盖布。程序。72,第2号,124--156(2007;Zbl 1119.68056) 全文: 内政部
G.布多尔。;卡斯特拉尼,I。 并发性和原子性。 (英语) Zbl 0678.68078号 西奥。计算。科学。 59,编号1-2,25-84(1988)。 审核人:J.-J.Ch.梅耶 MSC公司:68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani},Theor。计算。科学。59,编号1--2,25-84(1988;Zbl 0678.68078) 全文: 内政部 链接