伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 可逆早期内部演算的事件结构。 (英语) 兹比尔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) 全文: DOI程序 链接
伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko (受控)可逆CCS的事件结构语义。 (英语) Zbl 07377686号 J.日志。阿尔盖布。方法计划。 121,文章ID 100686,52 p.(2021).MSC公司:68问题85 第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100686,52 p.(2021;Zbl 07377686) 全文: DOI程序 链接
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;斯卡拉斯,阿尔凯斯特;吉田、Nobuko 同步多方会话的精确子类型。 (英语) Zbl 1423.68306号 J.日志。阿尔盖布。方法计划。 104, 127-173 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,J.Log。阿尔盖布。方法计划。104、127--173(2019年;Zbl 1423.68306) 全文: DOI程序 arXiv公司
伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 朝向可逆事件结构的分类表示。 (英语) Zbl 1427.68196号 J.日志。阿尔盖布。方法计划。 104, 16-59 (2019). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 18A40型 18B20型 2009年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Log。阿尔盖布。方法计划。104、16-59(2019年;Zbl 1427.68196) 全文: DOI程序 arXiv公司
斯卡拉斯,阿尔凯斯特;吉田、Nobuko 多方会话类型,超越二元性。 (英语) Zbl 1395.68199号 J.日志。阿尔盖布。方法计划。 97, 55-84 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Scalas}和\textit{N.Yoshida},J.Log。阿尔盖布。方法计划。97、55——84(2018;Zbl 1395.68199) 全文: DOI程序
伯纳多·托尼霍;吉田、Nobuko 正在验证多方会话类型中的数据。 (英语) Zbl 1371.68201号 J.日志。阿尔盖布。方法计划。 90, 61-83 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Toninho}和\textit{N.Yoshida},J.Log。阿尔盖布。方法计划。90、61-83(2017年;Zbl 1371.68201) 全文: DOI程序
多米尼克·乌节(编辑);吉田、Nobuko(编辑) 客座编辑前言。 (英语) Zbl 1366.00071号 J.日志。阿尔盖布。方法计划。 90, 1 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard}(编辑)和\textit{N.Yoshida}(主编),J.Log。阿尔盖布。方法计划。90,1(2017年;Zbl 1366.00071) 全文: DOI程序
弗朗西斯科·蒂埃齐;吉田、Nobuko 基于会话的可逆pi-calculus。 (英语) Zbl 1337.68075号 J.日志。阿尔盖布。方法计划。 84,第5期,684-707(2015).MSC公司:68号30 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{F.Tiezzi}和\textit{N.Yoshida},J.Log。阿尔盖布。方法计划。84,第5号,684--707(2015;Zbl 1337.68075) 全文: DOI程序