柯斯汀·彼得斯;吉田、Nobuko 关于混合选择会话的表达能力。 （英语） Zbl 07800872号 Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368113-130（2022年）。MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{N.吉田}，电子。程序。西奥。计算。科学。（EPTCS）368113--130（2022；Zbl 07800872） 全文： arXiv公司 链接
马里亚纽拉州Dezani-Ciancaglini;索菲亚·德罗索波卢;迪米特里斯·莫斯特鲁斯;吉田、Nobuko 对象和会话类型。 （英语） Zbl 1183.68358号 Inf.计算。 207，第5期，595-641（2009）.MSC公司：68问题55 68甲15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，《信息计算》。207，第5号，595--641（2009；Zbl 1183.68358） 全文： 内政部
马尔科·卡博尼;本田、高黑;吉田、Nobuko 基于会话类型的全局交互演算。 （英语） Zbl 1277.68171号 Jouannaud，Jean-Pierre（ed.）等人，第二届计算模型发展国际研讨会论文集（DCM 2006），意大利威尼斯，2006年7月16日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记171，第3期，127-151（2007）。MSC公司：68问题85 68M10个 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Carbone}等人，《电子》。注释Theor。计算。科学。171，第3号，127--151（2007；Zbl 1277.68171） 全文： 内政部
亚历山大·埃亨;吉田、Nobuko 通过显式代码迁移对Java RMI进行形式化。 （英语） Zbl 1132.68020号 西奥。计算。科学。 389，第3号，341-410（2007）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahern}和\textit{N.Yoshida}，Theor。计算。科学。389，第3号，341-410（2007年；兹bl 1132.68020） 全文： 内政部
吉田、Nobuko;本田、高黑;马丁·伯杰 线性和互模拟。 （英语） Zbl 1119.68131号 J.日志。阿尔盖布。程序。 72，第2期，207-238（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Yoshida}等人，J.Log。阿尔盖布。程序。72，第2207-238号（2007年；兹bl 1119.68131） 全文： 内政部
吉田、Nobuko 移动计算完整性、保密性和活跃性的基于类型的安全性。 （英语） Zbl 1316.68110号 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，333-340（2006）。MSC公司：68问题85 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛N.Yoshida｝，电子。注释Theor。计算。科学。162、333--340（2006年；Zbl 1316.68110） 全文： 内政部
马修·轩尼诗;朱利安·拉特克;吉田、Nobuko safeDpi：一种控制移动代码的语言。 （英语） Zbl 1081.68003号 学报信息。 42，编号4-5，227-290（2005）.MSC公司：64岁以下 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}等人，《学报》第42期，第4--5227--290号（2005年；Zbl 1081.68003） 全文： 内政部