×

找到31个文档（结果1-31）

最新的 引文 关联
柯斯汀·彼得斯;吉田信子

关于混合选择会话的表达能力。 （英语） 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公司 链接
马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田信子;吉安路易吉·扎瓦塔罗

异步会话子类型的完善算法。 （英语） Zbl 07649946号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第38条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bravetti｝等人，LIPIcs——莱布尼茨国际会议记录。通知。140，第38条，第16页（2019年；Zbl 07649946）
全文： 内政部
多莉安娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田信子

可逆计算的参数框架。 （英语） Zbl 1525.68085号

Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27687-103（2018）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Medic}等人，《电子》。程序。西奥。计算。科学。（EPTCS）276，87--103（2018；Zbl 1525.68085）
全文： 链接
朱利安·兰格;吉田信子

异步会话子类型的不可判定性。 （英语） Zbl 1486.68114号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 441-457 (2017).
MSC公司：68问题85 05年3月 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}和\textit{N.吉田}，莱克特。注释计算。科学。10203、441--457（2017；Zbl 1486.68114）
全文： 内政部 链接
伯纳多·托尼霍;吉田信子

以多方会话类型验证数据。 （英语） 兹比尔1343.68063

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，433-458（2016）。
MSC公司：68号30 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{B.Toninho}和\textit{N.Yoshida}，莱克特。注释计算。科学。9600、433--458（2016；Zbl 1343.68063）
全文： 内政部 链接
迪米特里奥斯·库扎帕斯;佩雷斯（Jorge A.Pérez）。;吉田信子

关于高阶会话过程的相对表达性。 （英语） Zbl 1335.68174号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632446-475（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kouzapas}等人，Lect。注释计算。科学。9632446--475（2016年；Zbl 1335.68174）
全文： 内政部 链接
迪米特里斯·莫斯特鲁斯;吉田信子

针对高阶移动进程的基于会话的通信优化。 （英语） Zbl 1246.68069号

Curien，Pierre-Louis（编辑），《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学讲座笔记5608203-218（2009）。
MSC公司：68个M12 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Mostrous}和\textit{N.Yoshida}，莱克特。注释计算。科学。5608203--218（2009年；Zbl 1246.68069）
全文： 内政部
马尔科·卡博尼;本田、高黑;吉田信子

基于会话类型的全局交互计算。 （英语） 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）
全文： 内政部
马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;吉田信子

面向对象语言的异步会话类型和进度。 （英语） Zbl 1202.68094号

Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日，第九届IFIP WG 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）
全文： 内政部 链接
吉田信子

移动计算完整性、保密性和活跃性的基于类型的安全性。 （英语） 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.吉田}，电子。注释Theor。计算。科学。162、333--340（2006年；Zbl 1316.68110）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件