×

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

最新的 引文 关联
宋世宗曼;吉田信子

探索面向更具表现力的多方会话类型的类型级双重相似性。 （英语） Zbl 1508.68244号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 251-279 (2020).
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.-S.Jongmans}和\textit{N.Yoshida}，莱克特。注释计算。科学。12075，251--279（2020；Zbl 1508.68244）
全文： 内政部
朱利安·兰格;吉田信子

通过通信会话自动机验证异步交互。 （英语） Zbl 07805528号

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 97-117 (2019).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}和\textit{N.吉田}，莱克特。注释计算。科学。11561，97-117（2019；Zbl 07805528）
全文： 内政部 arXiv公司
伯纳多·托尼霍;吉田信子

关于多态会话和函数。两个（完全抽象的）编码的故事。 （英语） 兹比尔1418.68068

Ahmed，Amal（编辑），《编程语言与系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 827-855 (2018).
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Toninho}和\textit{N.Yoshida}，莱克特。注释计算。科学。10801、827--855（2018；Zbl 1418.68068）
全文： 内政部 arXiv公司
朱利安·兰格;尼古拉斯·吴;伯纳多·托尼霍;吉田信子

围棋：基于频道的节目的生动性和安全性。 （英语） Zbl 1380.68298号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。748-761 (2017).
MSC公司：68问题85 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。748--761（2017；Zbl 1380.68298）
全文： 内政部 arXiv公司 链接
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田信子

子类型的含义和操作精确性：路线图。在弗兰克·德·波尔60岁生日之际献给他。 （英语） Zbl 1475.68082号

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 155-172 (2016).
MSC公司：68号30 68甲18 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。9660，155--172（2016；Zbl 1475.68082）
全文： 内政部
朱利安·兰格;吉田信子

会话类型的特征公式。 （英语） Zbl 1420.68070号

Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9636, 833-850 (2016).
MSC公司：68号30 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}和\textit{N.吉田}，莱克特。注释计算。科学。9636833--850（2016；Zbl 1420.68070）
全文： 内政部 arXiv公司 链接
伯纳多·托尼霍;吉田信子

以多方会话类型验证数据。 （英语） 兹比尔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）
全文： 内政部 链接
瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯;吉田信子

具有有界和无界递归的协作过程的类型检查活性。 （英语） Zbl 1448.68338号

日志。方法计算。科学。 12，第1期，第1号论文，38页（2016）.
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Debois}等人，Log。方法计算。科学。12，第1期，第1号论文，38页（2016年；Zbl 1448.68338）
全文： 内政部 arXiv公司
劳拉·博奇;朱利安·兰格;吉田信子

共同遵守截止日期。 （英语） Zbl 1374.68320号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，283-296（2015）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bocchi}等人，LIPIcs——莱布尼茨国际程序。通知。42、283--296（2015；Zbl 1374.68320）
全文： 内政部
马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;卢卡·帕多瓦尼;吉田信子

对多方异步会话类型的简单介绍。 （英语） Zbl 1346.68034号

Bernardo，Marco（编辑）等人，《多核编程的形式化方法》。2015年6月15日至19日，意大利贝蒂诺罗，第15所计算机、通信和软件系统正式设计方法国际学校，SFM 2015。高级讲座。查姆：施普林格（ISBN 978-3-319-18940-6/pbk；978-3-316-18941-3/电子书）。计算机科学课堂讲稿9104146-178（2015）。
MSC公司：68个M12 64岁以下 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}等人，Lect。注释计算。科学。9104146--178（2015年；Zbl 1346.68034）
全文： 内政部 链接
朱利安·兰格;埃米利奥·托斯托;吉田信子

从通信机器到图形编舞。 （英语） Zbl 1346.68136号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。221-232（2015年）。
MSC公司：68问题85 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Lange}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。221--232（2015；Zbl 1346.68136）
全文： 内政部 链接
罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田信子

实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 （英语） Zbl 1341.68118号

形式方法系统。设计。 46，第3期，197-225（2015）.
MSC公司：60年第68季度 68甲15 第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Demangeon}等人，《形式方法系统》。设计。46，第3号，197--225（2015；Zbl 1341.68118）
全文： 内政部
卢卡·福萨蒂;胡雷蒙德;吉田信子

多方会话网络。 （英语） Zbl 1444.68117号

Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。第九届国际研讨会，TGC 2014，罗马，意大利，2014年9月5-6日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8902, 112-127 (2014).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Fossati}等人，Lect。注释计算。科学。8902、112-127（2014年；Zbl 1444.68117）
全文： 内政部
法布里西奥·蒙泰西;吉田信子

构图舞蹈。 （英语） Zbl 1390.68483号

D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，425-439（2013）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Montesi}和\textit{N.Yoshida}，莱克特。注释计算。科学。8052、425--439（2013年；Zbl 1390.68483）
全文： 内政部
迪米特里奥斯·库扎帕斯;吉田信子

全局控制的会话语义。 （英语） Zbl 1390.68477号

D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，395-409（2013）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kouzapas}和\textit{N.Yoshida}，莱克特。注释计算。科学。8052、395--409（2013；Zbl 1390.68477）
全文： 内政部 arXiv公司 链接
德尼卢，皮埃尔·马洛;吉田信子

通信自动机中的多方兼容性：全局会话类型的特征描述和合成。 （英语） Zbl 1334.68149号

Fomin，Fedor V.（编辑）等人，《自动化、语言和编程》。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966174-186（2013）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.-M.Deniélou}和\textit{N.Yoshida}，莱克特。注释计算。科学。7966174--186（2013年；Zbl 1334.68149）
全文： 内政部 arXiv公司 链接
吉田信子;德尼卢，皮埃尔·马洛;安迪·贝杰利里;胡雷蒙德

参数化多方会话类型。 （英语） Zbl 1284.68077号

Ong，Luke（编辑），《软件科学和计算结构基础》。2010年3月20日至28日，作为欧洲软件理论和实践联合会议的一部分，在塞浦路斯帕福斯举行了第13届国际会议，FOSSACS 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12031-2/pbk）。计算机科学讲义6014128-145（2010）。
MSC公司：64岁以下 68英里11 68个M12 68号30 68瓦10
PDF格式BibTeX公司 XML格式引用
\textit{N.Yoshida}等人，Lect。注释计算。科学。6014128-145（2010年；Zbl 1284.68077）
全文： 内政部 arXiv公司
本田、高黑;吉田信子;马尔科·卡博尼

多方异步会话类型。 （英语） Zbl 1295.68150号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。273-284 (2008).
MSC公司：68问题55 68号30 68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Honda}等人，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。273--284（2008年；Zbl 1295.68150）
全文： 内政部 链接
马尔科·卡博尼;本田、高黑;吉田信子

以交流为中心的方案拟订的理论方面。 （英语） Zbl 1279.68050号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209125-133（2008）。
MSC公司：68号30 68M10个 68英里11
PDF格式BibTeX公司 XML格式引用
\textit｛M.Carbone｝等人，电子。注释Theor。计算。科学。209125-133（2008年；Zbl 1279.68050）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;索菲亚·德罗索波卢;吉田信子

面向对象语言的有边界会话类型。 （英语） Zbl 1147.68445号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。《计算机科学讲义》4709207-245（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。4709207--245（2007年；Zbl 1147.68445）
全文： 内政部
吉田信子;本田、高黑;马丁·伯杰

局部状态下高阶函数的逻辑推理。 （英语） Zbl 1195.68032号

Seidl，Helmut（编辑），《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。计算机科学课堂讲稿4423361-377（2007）。
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Yoshida}等人，Lect。注释计算。科学。4423、361--377（2007年；Zbl 1195.68032）
全文： 内政部
马尔科·卡博尼;本田、高黑;吉田信子

以结构化通信为中心的web服务编程。 （英语） Zbl 1187.68064号

De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421，2-17（2007）。
MSC公司：68英里11 68M10个 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Carbone}等人，Lect。注释计算。科学。4421，2--17（2007；Zbl 1187.68064）
全文： 内政部
本田、高黑;马丁·伯杰;吉田信子

高阶函数逻辑的描述性和相对完整性。 （英语） Zbl 1133.03333号

Bugliesi，Michele（编辑）等人，《自动化，语言和编程》。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。计算机科学课堂讲稿4052360-371（2006）。
MSC公司：03B70号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Honda}等人，Lect。注释计算。科学。4052、360-371（2006年；Zbl 1133.03333）
全文： 内政部
马丁·伯杰;本田、高黑;吉田信子

命令式高阶函数中混叠的逻辑分析。 （英语） Zbl 1302.68182号

2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，280-293（2005）。
MSC公司：60年第68季度 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛M.Berger｝et al.，载：第十届ACM SIGPLAN功能编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26日至28日。纽约州纽约市：计算机协会（ACM）。280-293（2005；Zbl 1302.68182）
全文： 内政部
马修·轩尼诗;朱利安·拉特克;吉田信子

SafeDpi：一种控制移动代码的语言（扩展抽象）。 （英语） Zbl 1126.68501号

Walukiewicz，Igor（编辑），软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004，是欧洲软件理论与实践联合会议ETAPS 2004的一部分。程序。柏林：施普林格出版社（ISBN 3-540-21298-1/pbk）。计算机科学课堂讲稿2987241-256（2004）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Hennessy}等人，Lect。注释计算。科学。2987241--256（2004年；Zbl 1126.68501）
全文： 内政部
马丁·伯杰;本田、高黑;吉田信子

广义和\（\pi\）-演算。 （英语） Zbl 1029.68039号

Andrew D.Gordon（编辑），《软件科学和计算结构基础》。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003，是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2620, 103-119 (2003).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Berger}等人，Lect。注释计算。科学。2620、103--119（2003年；Zbl 1029.68039）
全文： 链接
本田、高黑;吉田信子

安全信息流的统一类型结构。 （英语） Zbl 1323.68375号

2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。81-92 (2002).
MSC公司：60年第68季度 68甲18 68号30 68问题55 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{K.Honda}和\textit{N.Yoshida}，in：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。81-92（2002年；兹bl 1323.68375）
全文： 内政部 链接
马丁·伯杰;本田、高黑;吉田信子

序列性和\（\pi\）-演算。 （英语） Zbl 0981.68037号

Abramsky，Samson（编辑），《键入lambda calculi和应用程序》。第五届国际会议，2001年TLCA，波兰克拉科夫，2001年5月2日至5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2044, 29-45 (2001).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Berger}等人，Lect。注释计算。科学。2044，29-45（2001；Zbl 0981.68037）
全文： 链接
本田、高黑;吉田信子

并发组合符中的复制。 （英语） Zbl 0942.03510号

Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。789, 786-805 (1994).
MSC公司：03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.本田}和\textit{N.吉田}，莱克特。注释计算。科学。789、786--805（1994；Zbl 0942.03510）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件