伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 多方会话的事件结构语义。 (英语) Zbl 1512.68163号 J.日志。阿尔盖布。方法计划。 131,文章ID 100844,36 p.(2023)。MSC公司:68问题85 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,J.Log。阿尔盖布。方法计划。131,文章ID 100844,36 p.(2023;Zbl 1512.68163) 全文: 内政部 arXiv公司
伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 可逆早期内部演算的事件结构。 (英语) Zbl 1482.68152号 J.日志。阿尔盖布。方法计划。 124,文章ID 100720,46 p.(2022)。 审核人:T.C.Mohan(钦奈) MSC公司:68问题85 2009年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100720,46页(2022;兹bl 1482.68152) 全文: 内政部 链接
伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko (受控)可逆CCS的事件结构语义。 (英语) Zbl 07377686号 J.日志。阿尔盖布。方法计划。 121,文章ID 100686,52 p.(2021)。MSC公司:68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100686,52 p.(2021;Zbl 07377686) 全文: 内政部 链接
伊利亚州卡斯特拉尼;马里亚纽拉州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) 全文: 内政部
菲利普·哈勒(编辑);瓦斯科塞洛斯(编辑) 关于以并发和通信为中心的软件编程语言方法的第十次研讨会的特刊。 (英语) Zbl 1423.68026号 J.日志。阿尔盖布。方法计划。 106, 196-197 (2019)。MSC公司:68-06 68新元 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}(编辑)和\textit{V.T.Vasconcelos}(主编),J.Log。阿尔盖布。方法计划。106196-197(2019年;Zbl 1423.68026) 全文: 内政部
伊利亚州卡斯特拉尼;马里亚纽拉州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) 全文: 内政部