摘要
AMQP。 2015.高级消息队列协议。 http://www.iona.com/opensource/amqp/。 谷歌学者 
露西娅·阿西艾和米歇尔·博雷尔。 2008年。面向服务的演算中客户端进程的类型系统。 《并行图形与模型》（LNCS），第5065卷。 意大利比萨施普林格，642-658。 谷歌学者 数字图书馆 
2014年4月。 阿皮姆斯。 (2014). http://thelas.dk/index.php？title=Apims。 谷歌学者 Samik Basu、Tevfik Bultan和Meriem Ouederni。 2012.决定编舞的可实现性。 在程序设计语言原理研讨会（POPL'12）上。 ACM，美国费城，191--202。 谷歌学者 数字图书馆 安迪·贝莱里和吉田信子。 2009.同步多方会话类型。 《以并发和通信为中心的软件编程语言方法学报》（2008年版）（ENTCS），第241卷。 挪威奥斯陆爱思唯尔，3-33。 谷歌学者 数字图书馆 洛伦佐·贝蒂尼（Lorenzo Bettini）、马里奥·科波（Mario Coppo）、洛里斯·德安东尼（Loris D'Antoni）、马可·德卢卡（Marco De Luca）、马里安吉·西安卡里尼（Mariancola Dezani-Ciancaglini）和吉田信子（Nobu。 2008年。动态交错多方会议的全球进展。 在并行理论国际会议（CONCUR'08）（LNCS），第5201卷。 加拿大多伦多施普林格，418-433。 谷歌学者 数字图书馆 Karthikeyan Bhargavan、Ricardo Corin、Pierre Malo Deniélou、Cédric Fournet和James Leifer。 2009.多方会话的密码协议合成和验证。 计算机安全基础研讨会（CSF'09）。 IEEE，美国纽约，124-140。 谷歌学者 数字图书馆 劳拉·博奇（Laura Bocchi）、陈子春（Tzu-Chun Chen）、罗曼·德曼根（Romain Demangeon）、本田高黑（Kohei Honda）和吉田信子（Nobuko Yoshida）。 2013.通过多方会话类型监控网络。 在IFIP分布式系统形式化技术联合国际会议（FMOODS/FORTE’13）（LNCS）上，Dirk Beyer和Michele Boreale（编辑），第7892卷。 施普林格，意大利佛罗伦萨，50-65岁。 谷歌学者 交叉引用 
劳拉·博基（Laura Bocchi）、罗曼·德曼根（Romain Demangeon）和吉田信子（Nobuko Yoshida）。 2012.多方多会话逻辑。 在第七届可信全球计算国际研讨会（TGC’12）（LNCS）上，Catuscia Palamidessi和Mark Dermot Ryan（编辑），第8191卷。 英国泰恩河畔纽卡斯尔施普林格，111-97。 谷歌学者 Laura Bocchi、Kohei Honda、Emilio Tuosto和Nobuko Yoshida。 2010年，分布式多方交互的设计-合同理论。 在并行理论国际会议（CONCUR’10）（LNCS）上，第6269卷。 施普林格，巴黎，法国，162-176。 谷歌学者 数字图书馆 劳拉·博奇（Laura Bocchi）、朱利安·兰格（Julien Lange）和吉田信子（Nobuko Yoshida）。 2015年，共同遵守截止日期。 在并发理论国际会议（CONCUR 2015）（LIPIcs）第42卷。 西班牙马德里达格斯图尔宫，283-296。 谷歌学者 劳拉·博基（Laura Bocchi）、埃尔南·梅尔格拉蒂（Hernán C.Melgratti）和埃米利奥·托斯托（Emilio Tuosto）。 2014年a。 解决舞蹈设计中的非决定论。 在欧洲程序设计研讨会（ESOP’14）（LNCS）上，钟绍（编辑），第8410卷。 施普林格，格勒诺布尔，法国，493-512。 谷歌学者 数字图书馆 Laura Bocchi、Weizhen Yang和Nobuko Yoshida。 2014年b。 定时多方会话类型。 在并发理论国际会议（CONCUR’14）（LNCS）上，Paolo Baldan和Daniele Gorla（编辑），第8704卷。 施普林格，意大利罗马，419年至434年。 谷歌学者 交叉引用 爱德华多·博内利（Eduardo Bonelli）、阿德里亚娜·孔皮诺尼（Adriana Compagnoni）和埃尔萨·冈特（Elsa Gunter）。 2005.并发通信中进程同步的通信断言。 函数编程杂志15，2（2005），219--248。 谷歌学者 数字图书馆 Eduardo Bonelli和Adriana B.Compagnoni。 2007.分布式演算的多点会话类型。 《值得信赖的全球计算》（TGC'07）（LNCS），第4912卷。 施普林格，索菲亚·安蒂波利斯，法国，240-256。 谷歌学者 数字图书馆 BPMNC 2012年。 业务流程模型和符号2.0编排。 检索自 http://en.bpmn-community.org/tutorials/34/。 谷歌学者 丹尼尔·布兰德和皮特罗·扎菲罗普洛。 1983年。关于通信有限状态机。 ACM杂志30（1983年4月），323--342。 第2版。 谷歌学者 数字图书馆 马里奥·布拉维蒂和吉安路易吉·扎瓦塔罗。 2007.为舞蹈编排合规性和合同合规性建立统一的理论。 《软件合成》（LNCS）第4829卷。 施普林格，葡萄牙布拉加，34-50。 谷歌学者 数字图书馆 罗伯托·布鲁尼（Roberto Bruni）、伊万·拉内斯（Ivan Lanese）、埃尔南·梅尔格拉蒂（Hernan Melgratti）和埃米利奥·托斯托（Emilio Tuosto）。 2008年，SOC多方会议，《协调模型和语言（Coordination’08）》（LNCS），第5052卷。 施普林格，挪威奥斯陆，67-82。 谷歌学者 数字图书馆 路易斯·凯尔斯和弗兰克·普芬宁。 2010.会话类型为直觉主义线性命题。 在并行理论国际会议（CONCUR’10）（LNCS）上，第6269卷。 施普林格，巴黎，法国，222-236。 谷歌学者 数字图书馆 路易斯·凯雷斯和雨果·托雷斯·维埃拉。 2010.对话类型。 理论计算机科学411，51-52（2010），4399-4440。 谷歌学者 数字图书馆 萨拉·卡佩基（Sara Capecchi）、伊拉里亚·卡斯特拉尼（Ilaria Castellani）和马里安吉拉·德扎尼·西安卡里尼（Mariancola Dezani-Ciancaglini）。 2014.在会话中键入访问控制和安全信息流。 信息与计算238（2014），68--105。 谷歌学者 数字图书馆 萨拉·卡佩基（Sara Capecchi）、伊拉里亚·卡斯特拉尼（Ilaria Castellani）和马里安吉拉·德扎尼·西安卡里尼（Mariancola Dezani-Ciancaglini）。 2015年，多党会议的信息流安全。 出现。 谷歌学者 萨拉·卡佩基（Sara Capecchi）、伊拉里亚·卡斯特拉尼（Ilaria Castellani）、马里安吉拉·德扎尼·西安卡里尼（Mariancola Dezani-Ciancaglini）和塔马拉·雷兹克（Tamara Rezk）。 2010.访问和信息流控制的会话类型。 在并行理论国际会议（CONCUR’10）（LNCS）上，第6269卷。 施普林格，法国巴黎，237-252。 谷歌学者 数字图书馆 萨拉·卡佩奇（Sara Capecchi）、埃琳娜·贾奇诺（Elena Giachino）和吉田信子（Nobuko Yoshida）。 2016年，多党会议中的全球逃亡。 《计算机科学中的数学结构》26，2（2016），156--205。 谷歌学者 交叉引用 马可·卡蓬和约书亚·古特曼。 2009年a。 安全盒子和妥协原则的舞蹈。 《第二届交互与并发体验——结构化交互（ICE’09）（EPTCS）会议录》，第12卷。 意大利博洛尼亚，1-16。 谷歌学者 交叉引用 马可·卡蓬和约书亚·古特曼。 2009年b。 编排和密码协议的执行模型。 第二届并行与通信编程语言方法研讨会论文集——cEntric软件（PLACES’09）（EPTCS），第17卷。 英国约克，31-42。 谷歌学者 马可·卡博尼（Marco Carbone）、本田浩平（Kohei Honda）和吉田信子（Nobuko Yoshida）。 2007.以结构化通信为中心的web服务编程。 欧洲编程研讨会（ESOP’07）（LNCS），第4421卷。 斯普林格，布拉加，葡萄牙，2-17。 谷歌学者 数字图书馆 Marco Carbone、Kohei Honda和Nobuko Yoshida。 2008.会话类型中的结构化交互异常。 在并发理论国际会议（CONCUR’08）（LNCS）上，Franck van Breugel和Marsha Chechik（编辑），第5201卷。 加拿大多伦多斯普林格，402-417。 谷歌学者 数字图书馆 马可·卡博尼（Marco Carbone）、本田浩平（Kohei Honda）和吉田信子（Nobuko Yoshida）。 2012.以结构化通信为中心的web服务编程。 《美国计算机学会编程语言与系统学报》34，2（2012），8。 谷歌学者 数字图书馆 马可·卡蓬（Marco Carbone）、本田浩平（Kohei Honda）、吉田信子（Nobuko Yoshida）、罗宾·米尔纳（Robin Milner）、加里·布朗（Gary Brown）和史蒂夫·罗斯·塔尔博特（Steve Ross-Talbot）。 2006.以通信为中心的并发编程的理论基础。 检索自 http://www.w3.org/2002/ws/chor/。 谷歌学者 马可·卡蓬和法布里奇奥·蒙泰西。 2013.死锁自由设计：多方异步全局编程。 在编程语言原理研讨会（POPL'13）上，Roberto Giacobazzi和Radhia Cousot（编辑）。 意大利罗马ACM，263-274。 谷歌学者 数字图书馆 马可·卡博尼（Marco Carbone）、法布里奇奥·蒙泰西（Fabrizio Montesi）、卡斯滕·施尔曼（Carsten Schrmann）和吉田信子（Nobuko Yoshida）。 2015年，多方会议类型作为一致性证明。 在并发理论国际会议（CONCUR’15）（LIPIcs），第42卷。 西班牙马德里达格斯图尔宫，412-426。 谷歌学者 朱塞佩·卡斯塔尼亚（Giuseppe Castagna）、马里安吉拉·德扎尼·西安卡里尼（Mariangiola Dezani-Ciancaglini）和卢卡·帕多瓦尼（Luca Padovani）。 2011年，关于全球类型和多党会议。 在基于开放对象的分布式系统的形式化方法国际会议（FMOODS/FORTE）（LNCS），第6722卷。 冰岛雷克雅未克斯普林格，1-28。 谷歌学者 数字图书馆 朱塞佩·卡斯塔尼亚（Giuseppe Castagna）、马里安吉拉·德扎尼·西安卡里尼（Mariangiola Dezani-Ciancaglini）和卢卡·帕多瓦尼（Luca Padovani）。 2012年，关于全球类型和多党会议。 《计算机科学中的逻辑方法》8，1（2012），24。 谷歌学者 交叉引用 朱塞佩·卡斯塔尼亚和卢卡·帕多瓦尼。 2009年。移动流程合同。 在并发理论国际会议（CONCUR'09）（LNCS）上。 意大利博洛尼亚施普林格，211-228。 谷歌学者 数字图书馆 陈子春、劳拉·博奇、皮尔雷·马洛·德尼卢、本田高平和吉田信子。 2012.针对多方会话实施的异步分布式监控。 在值得信赖的全球计算（TGC'11）（LNCS）中，Roberto Bruni和Vladimiro Sassone（编辑），第7173卷。 英国泰恩河畔纽卡斯尔施普林格，25-45。 谷歌学者 数字图书馆 陈子春和本田高黑。 2012.为分布式程序指定有状态异步属性。 在并发理论国际会议（CONCUR’12）（LNCS）上，Maciej Koutny和Irek Ulidowski（编辑），第7454卷。 英国泰恩河畔纽卡斯尔施普林格，209-224。 谷歌学者 数字图书馆 马里奥·科波、马里安吉拉·德扎尼·西安卡里尼、卢卡·帕多瓦尼和吉田信子。 2013.动态交错多方会话的全局进度属性的推断。 在《协调模型与语言》（Coordination’13）（LNCS）中，罗科·德·尼古拉（Rocco De Nicola）和克里斯汀·朱利安（Christine Julien）（编辑），第7890卷。 意大利佛罗伦萨施普林格，45-59。 谷歌学者 马里奥·科波、马里安吉拉·德扎尼·西安卡里尼、卢卡·帕多瓦尼和吉田信子。 2015年a。 对多方异步会话类型的简单介绍。 SFM-15:MP（LNCS），第9104卷。 意大利贝蒂诺罗施普林格，146-178。 谷歌学者 Mario Coppo、Mariangiola Dezani-Ciancaglini和Betti Venneri，2014年。 自适应多方会话。 面向服务的计算和应用9，3-4（2014），249-268。 谷歌学者 数字图书馆 马里奥·科波、马里安吉拉·德扎尼·西安卡里尼和吉田信子。 2007.面向对象语言的异步会话类型和进展。 在IFIP开放式基于对象分布式系统形式化方法国际会议（FMOODS’07）（LNCS）第4468卷中。 斯普林格，帕福斯，塞浦路斯，1-31。 谷歌学者 数字图书馆 马里奥·科波、马里安吉拉·德扎尼·西安卡里尼、吉田信子和卢卡·帕多瓦尼。 2015年b。 动态交错多方会话的全局进度。 《计算机科学中的数学结构》26，2（2015），238--302。 谷歌学者 交叉引用 Mila Dalla Preda、Saverio Giallorenzo、Ivan Lanese、Jacopo Mauro和Maurizio Gabbrielli。 2014.AIOCJ：安全自适应分布式应用程序的舞蹈框架。 在软件语言工程国际会议（SLE’14）（LNCS）上，Beno屋t Combemale、David J.Pearce、Olivier Barais和Jurgen J.Vinju（编辑），第8706卷。 施普林格，Västerås，瑞典，161-170。 谷歌学者 Ornela Dardha、Elena Giachino和Davide Sangiorgi，2012年。 重新访问会话类型。 在国际声明式编程原理与实践研讨会（PPDP'12）上，Danny De Schreye、Gerda Janssens和Andy King（编辑）。 ACM出版社，比利时鲁汶，139-150。 谷歌学者 数字图书馆 Romain Demangeon和Kohei Honda。 2012.会话类型中的嵌套协议。 在并发理论国际会议（CONCUR’12）（LNCS）上，Maciej Koutny和Irek Ulidowski（编辑），第7454卷。 英国泰恩河畔纽卡斯尔施普林格，272-286。 谷歌学者 数字图书馆 罗曼·德曼根（Romain Demangeon）、科黑·本田（Kohei Honda）、雷蒙德·胡（Raymond Hu）、鲁米亚纳·内科娃（Rumyana Neykova）和吉田信子（Nobuko Yoshida）。 2015.实用可中断对话：使用多方会话类型和Python进行分布式动态验证。 系统设计中的形式化方法46，3（2015），197-225。 谷歌学者 数字图书馆 皮尔雷·马洛·丹尼·卢（Pierre-Malo Deniélou）和吉田信子（Nobuko Yoshida）。 2010年。分布式多方会议中的缓冲通信分析。 在并行理论国际会议（CONCUR’10）（LNCS）上，第6269卷。 施普林格，巴黎，法国，343-357。 谷歌学者 数字图书馆 皮尔雷·马洛·丹尼·卢（Pierre-Malo Deniélou）和吉田信子（Nobuko Yoshida）。 2011.动态多角色会话类型。 在程序设计语言原理研讨会（POPL'11）上。 美国奥斯汀ACM，435-446。 谷歌学者 数字图书馆 皮尔雷·马洛·丹尼·卢（Pierre-Malo Deniélou）和吉田信子（Nobuko Yoshida）。 2012.多方会话类型满足通信自动机。 欧洲编程研讨会（ESOP’12）（LNCS），Helmut Seidl（Ed.），第7211卷。 爱沙尼亚塔林斯普林格，194-213。 谷歌学者 数字图书馆 皮尔雷·马洛·丹尼·卢（Pierre-Malo Deniélou）和吉田信子（Nobuko Yoshida）。 2013.通信自动机中的多方兼容性：全球会话类型的特征描述和合成。 在自动化、语言和编程国际学术讨论会（ICALP’13）（LNCS）上，Fedor V.Fomin、Rusins Freivalds、Marta Z.Kwiatkowska和David Peleg（编辑），第7966卷。 拉脱维亚里加施普林格，174-186。 谷歌学者 数字图书馆 Pierre-Malo Deniélou、Nobuko Yoshida、Andi Bejleri和Raymond Hu，2012年。 参数化多方会话类型。 《计算机科学中的逻辑方法》8，4（2012）。 谷歌学者 Mariangiola Dezani-Ciancaglini和Ugo de’Liguoro。 2010.会话和会话类型：概述。 在网络服务和形式方法国际研讨会（WS-FM’09）（LNCS）上，Cosimo Laneve和Jianwen Su（编辑），第6194卷。 意大利博洛尼亚施普林格，1-28。 谷歌学者 数字图书馆 Mariangiola Dezani-Ciancaglini、Ugo de’Liguoro和Nobuko Yoshida。 2007年，关于结构化通信的进展。 《值得信赖的全球计算》（TGC'07）（LNCS），第4912卷。 施普林格，索菲亚·安蒂波利斯，法国，257-275。 谷歌学者 数字图书馆 Mariangiola Dezani-Ciancaglini、Sophia Drossopoulou、Dimitris Mostrous和Nobuko Yoshida。 2009.对象和会话类型。 信息与计算207，5（2009），595--641。 谷歌学者 数字图书馆 Mariangiola Dezani-Ciancaglini、Dimitris Mostrous、Nobuko Yoshida和Sophia Drossopoulou。 面向对象语言的会话类型。 在欧洲面向对象编程会议（ECOOP’06）（LNCS），第4067卷。 施普林格，南特，法国，328-352。 谷歌学者 数字图书馆 Manuel Fähndrich、Mark Aiken、Chris Hawblitzel、Orion Hodson、Galen C.Hunt、James R.Larus和Steven Levi。 2006.在奇异操作系统中支持快速可靠的基于消息的通信。 在EuroSys2006（ACM SIGOPS）中。 ACM出版社，比利时鲁汶，177-190。 谷歌学者 卢卡·福萨蒂（Luca Fossati）、雷蒙德·胡（Raymond Hu）和吉田信子（Nobuko Yoshida）。 2014.多方会话网络。 在值得信赖的全球计算（TGC’14）（LNCS）中，马特奥·马菲（Matteo Maffei）和埃米利奥·托斯托（Emilio Tuosto）（编辑），第8902卷。 意大利罗马施普林格，112-127。 谷歌学者 巴勃罗·加拉尔达（Pablo Garralda）、阿德里亚娜·孔皮诺尼（Adriana Compagnoni）和马里安吉拉·德扎尼·西安卡里尼（Mariancola Dezani-Ciancaglini）。 2006年，BASS：安全会议的盒装环境。 在声明式编程原理与实践国际研讨会（PPDP'06）上。 ACM出版社，意大利威尼斯，61-72。 谷歌学者 数字图书馆 西蒙·盖伊。 2008.会话类型中的有限多态性。 MSCS 18（2008），895--930。 谷歌学者 西蒙·盖伊和马尔科姆·霍尔。 2005.Pi-Calculus中会话类型的子类型。 《信息学报》42，2/3（2005），191--225。 谷歌学者 数字图书馆 西蒙·盖伊和瓦斯科·T·瓦斯康塞洛斯。 2009.异步会话类型的线性类型理论。 函数编程杂志（2009）。 谷歌学者 数字图书馆 Simon Gay、Vasco T.Vasconcelos、António Ravara、Nils Gesbert和Alexandre Z.Caldeira。 2010.分布式面向对象编程的模块化会话类型。 在编程语言原理研讨会（POPL'10）上。 西班牙马德里ACM，299-312。 谷歌学者 数字图书馆 吉恩·伊夫·吉拉德。 1987.线性逻辑。 理论计算机科学50（1987），1-102。 谷歌学者 数字图书馆 马修·亨尼西。 2007.分布式Pi-Calculus。 剑桥大学出版社。 谷歌学者 数字图书馆 Anders Henriksen、Lasse Nielsen、Thomas Hildebrandt、Nobuko Yoshida和Fritz Henglein。 2013年，通过多方会议类型提供值得信赖的普及医疗服务。 在《健康信息工程与系统基础》（FHIES’12）（LNCS）中，Jens Weber和Isabelle Perseil（编辑），第7789卷。 法国巴黎，124-141。 谷歌学者 Kohei Honda公司。 1993.并元相互作用的类型。 在并发理论国际会议（CONCUR’93）（LNCS）上，Eike Best（Ed.），第715卷。 德国希尔德斯海姆施普林格·弗拉格，509-523。 谷歌学者 数字图书馆 本田小平、胡雷蒙德、内科娃、陈子淳、德曼根、德尼娄和吉田信子。 2014.使用会话类型构建通信。 在《并发对象及其后》（COB'14）（LNCS）中，古尔·阿加、Atsushi Igarashi、Naoki Kobayashi、Hidehiko Masuhara、Satoshi Matsuoka、Etsuya Shibayama和Kenjiro Taura（编辑），第8665卷。 施普林格，105-127。 谷歌学者 Kohei Honda、Aybek Mukhamedov、Gary Brown、Zzu-Chun Chen和Nobuko Yoshida。 2011年，与正式基金会进行涂鸦互动。 在分布式计算和互联网技术国际会议（ICDCIT’11）（LNCS）上，Raja Natarajan和Adegboyega K.Ojo（编辑），第6536卷。 印度布巴内斯瓦尔施普林格，55-75岁。 谷歌学者 数字图书馆 Kohei Honda和Mario Tokoro。 1991年。异步通信的对象演算。 在欧洲面向对象编程会议（ECOOP’91），第512卷。 瑞士日内瓦，133-147。 谷歌学者 数字图书馆 Kohei Honda、Vasco T.Vasconcelos和Makoto Kubo。 1998年。结构化通信编程的语言原语和类型规程。 欧洲编程研讨会（ESOP’98）（LNCS），第1381卷。 葡萄牙里斯本斯普林格·弗拉格，22-138。 谷歌学者 数字图书馆 本田小平、吉田信子和卡博尼。 2007.Web服务、移动流程和类型。 欧洲理论计算机科学协会公报。 91年2月（2007年），165-185。 谷歌学者 本田小平、吉田信子和卡博尼。 2008年a。 多方异步会话类型。 在编程语言原理研讨会（POPL'08）上。 ACM，美国旧金山，273-284。 谷歌学者 数字图书馆 本田小平、吉田信子和卡博尼。 2008年b。 多方异步会话类型。 (2008). 网页。 http://www.doc.ic.ac.uk/&sim ; 吉田/多方。 谷歌学者 Raymond Hu、Dimitrious Kouzapas、Oliver Pernet、Nobuko Yoshida和Kohei Honda。 2010年，Java的打字安全活动。 在欧洲面向对象编程会议（ECOOP’10）（LNCS），第6183卷。 斯普林格，马里博尔，斯洛文尼亚，329-353。 谷歌学者 数字图书馆 Raymond Hu、Rumyana Neykova、Nobuko Yoshida和Romain Demangeon。 2013.实用可中断对话：使用会话类型和python进行分布式动态验证。 运行时验证（RV'13）（LNCS），Axel Legay和Saddek Bensalem（编辑），第8174卷。 法国雷恩施普林格，148-130。 谷歌学者 Raymond Hu、Nobuko Yoshida和Kohei Honda。 2008年。Java中基于会话的分布式编程。 在欧洲面向对象编程会议（ECOOP’08）上，Jan Vitek（编辑），第5142卷。 施普林格，塞浦路斯帕福斯，516-541。 谷歌学者 数字图书馆 井石忠信和小林直树。 2004年。Pi-calculus的通用类型系统。 理论计算机科学311,1-3（2004），121-163。 谷歌学者 数字图书馆 国际电信联盟。 1996.建议Z.120：消息序列图。 (1996). 谷歌学者 小林直树。 2006.无死锁过程的新型系统。 在国际并发理论会议（CONCUR'06）（LNCS），第4137卷。 德国波恩，233-247。 谷歌学者 数字图书馆 Dimitrios Kouzapas、Jorge A.Perez和Nobuko Yoshida。 2015.高阶会话过程的特征互模拟。 在并发理论国际会议（CONCUR’15）（LIPIcs），第42卷。 西班牙马德里达格斯图尔宫，398-411。 谷歌学者 Dimitrios Kouzapas和Nobuko Yoshida。 2014.全球管辖的会话语义。 《计算机科学中的逻辑方法》10，4（2014）。 谷歌学者 Dimitrios Kouzapas、Nobuko Yoshida、Raymond Hu和Kohei Honda。 2016.关于异步事件会话语义。 《计算机科学中的数学结构》26，2（2016），303--364。 谷歌学者 交叉引用 Pavel Krcál和王毅。 2006.通信时间自动机：越同步，验证越困难。 计算机辅助验证（CAV’06）（LNCS），第4144卷。 美国西雅图施普林格，249-262。 谷歌学者 数字图书馆 莱斯利·兰波特。 1978年。分布式系统中的时间、时钟和事件顺序。 ACM通讯21，7（1978年7月），558-564。 谷歌学者 数字图书馆 朱利安·兰格和埃米利奥·托斯托。 2012.从本地会话类型合成编舞。 在国际并发理论会议（CONCUR'12）（LNCS）中，Maciej Koutny和Irek Ulidowski（编辑），第7454卷。 英国泰恩河畔纽卡斯尔施普林格，225-239。 谷歌学者 数字图书馆 朱利安·兰格（Julien Lange）、艾米利奥·托斯托（Emilio Tuosto）和吉田信子（Nobuko Yoshida）。 2015年，从通信机器到图形编舞。 在编程语言原理研讨会（POPL'15）上，Sriram K.Rajamani和David Walker（编辑）。 印度孟买ACM出版社，221--232。 谷歌学者 数字图书馆 马西莫·梅罗。 2007.移动Ad hoc网络的观测理论。 《理论计算机科学电子笔记》，第172卷。 爱思唯尔，275-293。 谷歌学者 数字图书馆 尼古拉·梅泽蒂（Nicola Mezzetti）和戴维德·桑吉奥吉（Davide Sangiorgi），2006年。 走向无线系统的微积分。 理论计算机科学电子笔记，第158卷。 爱思唯尔，331-353。 谷歌学者 数字图书馆 莱昂纳多·加埃塔诺·梅齐纳。 2008.如何在服务和会话演算中推断有限的会话类型。 《协调模型和语言》（Coordination’08）（LNCS），第5052卷。 施普林格，挪威奥斯陆，216-231。 谷歌学者 数字图书馆 Fabrizio Montesi和Nobuko Yoshida。 2013年编舞。 在并发理论国际会议（CONCUR’13）（LNCS）上，佩德罗·达格尼奥（Pedro R.D'Argenio）和埃尔南·梅尔格拉蒂（Hernán C.Melgratti）（编辑），第8052卷。 阿根廷布宜诺斯艾利斯施普林格，439-425。 谷歌学者 数字图书馆 迪米特里斯·莫斯特鲁斯（Dimitris Mostrous）和吉田信子（Nobuko Yoshida）。 2007.用于高阶移动进程的两个会话类型系统。 《Lambda演算与应用》（TLCA’07）（LNCS）第4583卷。 施普林格，巴黎，法国，321-335。 谷歌学者 数字图书馆 迪米特里斯·莫斯特鲁斯（Dimitris Mostrous）和吉田信子（Nobuko Yoshida）。 2009.针对高阶移动进程的基于会话的通信优化。 《打字兰姆达微积分与应用》，第九届国际会议，TLCA 2009（LNCS），Pierre-Louis Curien（编辑），第5608卷。 斯普林格，巴西利亚，巴西，203-218。 谷歌学者 数字图书馆 Dimitris Mostrous、Nobuko Yoshida和Kohei Honda。 2009.部分交换异步会话中的全局主体键入。 欧洲编程研讨会（ESOP’09）（LNCS），第5502卷。 英国约克郡施普林格，316-332。 谷歌学者 数字图书馆 塞巴斯蒂安·南兹、弗莱明·尼尔森和汉内·里斯·尼尔森。 2007.广播网络的拓扑相关抽象。 在并行理论国际会议（CONCUR'07）上。 葡萄牙里斯本，226-240。 谷歌学者 数字图书馆 Matthias Neubauer和Peter Thiemann。 2004年a。 会话类型的实现。 《声明性语言的实践方面》（PADL'04）（LNCS），第3057卷。 斯普林格，达拉斯，美国，56-70。 谷歌学者 马蒂亚斯·纽鲍尔（Matthias Neubauer）和彼得·蒂曼（Peter Thiemann）。 2004年b。 异步通信的会话类型。 (2004). 弗莱堡大学。 谷歌学者 鲁米亚娜·内科娃（Rumyana Neykova）、劳拉·博奇（Laura Bocchi）和吉田信子（Nobuko Yoshida）。 2014.多方对话的定时运行时监控。 在行为类型研讨会（BEAT'14）（EPTCS）中，Marco Carbone（编辑），第162卷。 意大利罗马，19-26。 谷歌学者 交叉引用 鲁米亚纳·内科娃（Rumyana Neykova）和吉田信子（Nobuko Yoshida）。 2014.多党会议参与者。 在《协调模型和语言（Coordination’14）》（LNCS）中，Eva Kühn和Rosario Pugliese（编辑），第8459卷。 德国柏林施普林格，131-146。 谷歌学者 Rumyana Neykova、Nobuko Yoshida和Raymond Hu，2013年。 SPY：全局协议的本地验证。 运行时验证（RV'13）（LNCS），Axel Legay和Saddek Bensalem（编辑），第8174卷。 法国雷恩施普林格，363-358。 谷歌学者 Nicholas Ng、Jose G.F.Coutinho和Nobuko Yoshida。 2015.默认协议：基于会话类型的安全MPI代码生成。 编译构造（CC'15）（LNCS）。 比约恩·弗兰克（编辑）。 英国伦敦施普林格，212-232。 谷歌学者 Nicholas Ng和Nobuko Yoshida。 2014.Pabble：参数化涂鸦。 面向服务的计算和应用9，3-4（2014），1--16。 谷歌学者 数字图书馆 Nicholas Ng、Nobuko Yoshida和Kohei Honda。 2012.多方会话C：具有消息优化的安全并行编程。 在TOOLS’12（LNCS）中，Carlo A.Furia和Sebastian Nanz（编辑），第7304卷。 斯普林格，布拉格，捷克共和国，202-218。 谷歌学者 数字图书馆 Nicholas Ng、Nobuko Yoshida和Wayne Luk。 2013.异构高性能系统的可扩展会话编程。 在软件工程和形式方法国际会议（SEFM'13）（LNCS）上，Steve Counsell和Manuel Nüñez（编辑），第8368卷。 西班牙马德里施普林格，82-98。 谷歌学者 数字图书馆 Nicholas Ng、Nobuko Yoshida、Xin Yu Niu、Kuen Hung Tsoi和Wayne Luk。 2012.会话类型：实现安全快速的可重新配置编程。 SIGARCH CAN 40，5（2012），22-27。 谷歌学者 数字图书馆 Nicholas Ng、Nobuko Yoshida、Olivier Pernet、Raymond Hu和Yiannos Kryftis。 2011.使用会话Java进行安全并行编程。 《协调模型与语言（Coordination’11）（LNCS）》，第6721卷。 冰岛雷克雅未克斯普林格，110-126。 谷歌学者 数字图书馆 Lasse Nielsen、Nobuko Yoshida和Kohei Honda。 2010.多方对称和类型。 《并发表达（EXPRESS’10）》（EPTCS），第41卷。 法国巴黎，121-135。 谷歌学者 OOI公司。 2015年，海洋观测站倡议。 检索自 http://www.oceanaleadership.org/programs-and-partnerships/ocean-observing/ooi/。 谷歌学者 卢卡·帕多瓦尼。 2014年a。 线性死锁和锁定自由度&pi- 微积分。 在计算机科学逻辑和计算机科学逻辑（CSL-LICS’14）中，托马斯·汉津格（Thomas A.Henzinger）和戴尔·米勒（Dale Miller）（编辑）。 奥地利维也纳ACM出版社，72:1-72:10。 谷歌学者 数字图书馆 卢卡·帕多瓦尼。 2014年b。 多方会话类型的公平子类型。 《计算机科学中的数学结构》（2014），1-41。 谷歌学者 B.Pierce和D.Sangiorgi，1996年。 移动进程的键入和子键入。 《计算机科学中的数学结构杂志》6，5（1996），409--454。 谷歌学者 交叉引用 本杰明·皮尔斯。 2002.类型和编程语言。 麻省理工学院出版社。 谷歌学者 数字图书馆 杰雷米·普莱诺、里卡多·科林和塞德里克·福内特。 2009.确保全球流程规范的实施。 在并发理论国际会议（CONCUR'09）（LNCS）上，马里奥·布拉维蒂和吉安路易吉·扎瓦塔罗（编辑），第5710卷。 意大利博洛尼亚施普林格，511-526。 谷歌学者 数字图书馆 K.V.S.普拉萨德。 2001.CCS中解释的广播演算，直到相互模拟。 理论计算机科学电子笔记52，1，83--100。 谷歌学者 交叉引用 K.V.S.普拉萨德。 2006年，移动广播系统招股说明书。 在理论计算机科学电子笔记162，1295--300。 谷歌学者 交叉引用 里卡多·普切拉和杰西·托夫。 2008.Haskell会话类型（几乎）没有类。 Haskell研讨会（Haskell'08）。 ACM SIGPLAN，加拿大维多利亚州。 谷歌学者 数字图书馆 马修·萨克曼和苏珊·艾森巴赫。 2008.Haskell中的会话类型。 草稿。 谷歌学者 萨瓦拉。 2010年，SAVARA JBoss项目。 检索自 http://www.jboss.org/savara。 谷歌学者 布鲁斯·施奈尔。 1993年。《应用密码学：协议、算法和源代码》（Applied Cryptography:Protocols，Algorithms，and Source Code in C.John Wiley&Sons，Inc.）。 谷歌学者 数字图书馆 涂鸦。 2008年，Scribble项目。 检索自www.scrible.org。 谷歌学者 K.C.Sivaramakrishnan、Karthik Nagaraj、Lukasz Ziarek和Patrick Eugster。 2010年。高效会话类型引导的分布式交互。 《协调模型和语言（Coordination’10）（LNCS）》，第6116卷。 荷兰阿姆斯特丹施普林格，152-167。 谷歌学者 数字图书馆 斯蒂芬·斯帕克斯。 2006年，与史蒂夫·罗斯·塔尔博特的对话。 ACM队列4、2（2006年3月）。 谷歌学者 数字图书馆 Nikhil Swamy、Juan Chen、Cédric Fournet、Pierre-Yves Strub、Karthikeyan Bhargavan和Jean Yang。 2011.使用值相关类型保护分布式编程。 在国际函数编程会议（ICFP'11）上。 IEEE，日本东京，266--278。 谷歌学者 数字图书馆 Kaku Takeuchi、Kohei Honda和Makoto Kubo。 1994年。一种基于交互的语言及其打字系统。 《欧洲并行体系结构和语言》（PARLE’94）（LNCS），第817卷。 施普林格·弗拉格，希腊雅典，398-413。 谷歌学者 数字图书馆 F.哈维尔·塞耶（F.Javier Thayer）、乔纳森·赫尔佐格（Jonathan C.Herzog）和约书亚·古特曼（Joshua D.Guttman）。 1999.绞合空间：证明安全协议正确。 《计算机安全杂志》7，2/3（1999），191--230。 谷歌学者 数字图书馆 Vasco T.Vasconcelos、Simon Gay和António Ravara。 2006.使用会话类型对多线程函数语言进行类型检查。 理论计算机科学368，1--2（2006），64-87。 谷歌学者 数字图书馆 雨果·托雷斯·维埃拉、路易斯·凯雷斯和乔·科斯塔·塞科。 2008年。对话演算：面向服务的计算模型。 欧洲编程研讨会（ESOP’08）（LNCS），第4960卷。 施普林格，匈牙利布达佩斯，269-283。 谷歌学者 数字图书馆 朱尔斯·维拉德。 2011.堆和跳。 博士论文。 ENS卡尚。 谷歌学者 菲尔·沃德勒。 2012年，提议作为会议。 在函数编程国际会议（ICFP'12）上。 IEEE，丹麦哥本哈根，273-286。 谷歌学者 数字图书馆 WS-CDL。 2003.Web服务编排工作组。 http://www.w3.org/2002/ws/chor/。 (2003). 谷歌学者 吉田信子。 1996.一元移动进程的图形类型。 《软件技术和理论计算机科学基础》（FSTTCS’96）（LNCS），第1180卷。 印度海得拉巴施普林格，371-386。 谷歌学者 数字图书馆 吉田信子（Nobuko Yoshida）、马丁·伯杰（Martin Berger）和本田小平（Kohei Honda）。 2001年，&pi- 微积分。 程序中。 LICS’01年。 IEEE，311--322。 完整版本载于《信息与计算杂志》，191（2004），145-202，Elsevier。 谷歌学者 数字图书馆 Nobuko Yoshida、Raymond Hu、Rumyana Neykova和Nicholas Ng.2013年。 涂鸦协议语言。 在《值得信赖的全球计算》（TGC’13）（LNCS）中，马丁·阿巴迪（Martín Abadi）和阿尔贝托·卢什·拉富恩特（Alberto Lluch-Lafuente）（编辑），第8358卷。 阿根廷布宜诺斯艾利斯施普林格，22-41。 谷歌学者 Nobuko Yoshida和Vasco Thudichum Vasconcelos。 2007年，重温了结构化通信编程的语言原语和类型规程：两个用于高阶会话通信的系统。 理论计算机科学电子笔记171，4（2007），73--93。 谷歌学者 数字图书馆 Nobuko Yoshida、Vasco Thudichum Vasconcelos、HervéPaulino和Kohei Honda。 2008.多核编程的基于会话的编译框架。 在组件和对象形式化方法国际研讨会（FMCO'08）（LNCS）上，Frank S.de Boer、Marcello M.Bonsange和Eric Madelain（编辑），第5751卷。 施普林格，索菲亚·安蒂波利斯，法国，226-246。 谷歌学者 ZDLC公司。 2015年零偏差生命周期。 检索自 http://www.zdlc.co。 谷歌学者
索引术语
多方异步会话类型
建议
少即是多：重新访问多方会话类型 多方会话类型（MPST）是一种类型规则，可确保消息传递过程实现 多方会话协议 ，没有错误。 在本文中，我们提出了一个新的、广义的MPST理论。 我们的贡献是四倍的。 （1） 我们。。。
