{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,7]]，“日期时间”：“2024-04-07T02:49:48Z”，“时间戳”：1712458188454}，“出版商位置”：“柏林，海德堡”，“参考计数”：28，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540732273”，“类型”：“打印”}，{“值”：“9783540732280”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-73228-0_23“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z“，”时间戳“：1184601431000}，”页面“：”321-335“，“source”：“Crossref”，“由count引用”：18，“title”：[“用于高阶移动进程的两个会话类型化系统”]，“prefix”：“10.1007”，“author”：[｛”给定“：“Dimitris”，“family”：“Mostrous”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Nobuko”，“family”：“Yoshida”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛”key：“23_CR1”，“非结构化”：“本文在线附录。http://www.doc.ic.ac.uk \\u1ef9oshida\/hopis”}，{“key”：“23_CR2”，“doi-asserted-by”：“publisher”，“first page”：”403“，“doi”：“10.1145 \/109481.1094843”，“volume-title”：“OOPSLA\u201905”，“author”：“A.Ahern”，“year”：“2005”，“非结构性”：“Ahern，A.，Yoshida，N.：用显式代码迁移形式化Java RMI（完整版本将出现在TCS中）。见：OOPSLA\u201905，第403\u2013422页。ACM Press，New York（2005）“}，{“key”：“23_CR3”，“volume-title”：“章节相关类型”，“author”：“D.Aspinal”，“year”：“2005”，“unstructured”：“Aspinal，D.，Hofmann，M.：类型和编程语言高级主题。in:Pierce，B.C.（ed.）章节相关类型，麻省理工学院出版社，剑桥（2005）”}，}，“issue”：“2”，“key“：”23_CR4“，“doi-asserted-by”：“”publisher“，”first-page“：”219“，”DOI“：”10.1017\/S095679680400543X“，”volume“：”15“，”author“：”E.Bonelli“，“year”：“2005”，”unstructured“：”Bonelli.，E.，Compagnoni，A.，Gunter，E.：并发通信中进程同步的通信断言。功能学杂志。程序。\u00a015（2），219\u2013248（2005）“，《新闻标题》：《功能杂志》。程序。“}，{”key“：”23_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first-page:“2”，“doi”：“10.1007\/978-3-540-71316-6_2”，“volume-title”：“ESOP\u201907”，“author”：“M.Carbone”，“year”：“2007”，“unstructured”：“Carbone，M.、Honda，K.、Yoshida，N.：面向Web服务的结构化通信中心编程。在：ESOP\u201907。LNCS，第u00a04421卷，第2\u201317页。Springer，Heidelberg（2007）“}，{“key”：“23_CR6”，“unstructured”：“Carbone，M.，Honda，K.，Yoshida，N.，Milner，R.，Brown，G.，Ross-Talbot，S.：以通信为中心的并发编程的理论基础。W3C（2006）出版，网址：http://www.dcs.qmul.ac.uk \/c\u03030arbonem \/cdlpaper\/workingnote.pdf”}，“key“：”23_CR7“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“328”，“doi”：“10.1007\/11785477_20”，“volume-title”：“ECOOP 2006\u2013面向对象编程”，“author”：“M.Dezani-Ciancaglini”，《年份》：“2006”，“unstructured”：“Dezani-Siancagloni，M.，Mostrous，D.，Yoshida，N.，Drossopoulou，S.：面向对象语言的会话类型。摘自：Thomas，D.（编辑）ECOOP 2006。LNCS，卷\u00a04067，第328页\u2013352。Springer，Heidelberg（2006）“}，{”key“：”23_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“299”，”doi“：”10.1007\/11580850_16“，”volume-title“：“值得信赖的全球计算”，”author“：”M.Dezani-Ciancaslini“，”year“：”2005“，”unstructured“：”Dezani-Ciancaglini，M.，Yoshida，N.，Ahern，A.，Drossopoulou，S.：一种具有会话类型的分布式面向对象语言。收录人：De Nicola，R.，Sangiorgi，D.（编辑）TGC 2005。LNCS，第u00a03705卷，第299\u2013318页。Springer，Heidelberg（2005）“}，{“键”：“23_CR9”，“首页”：“177”，“卷时间”：“EuroSys2006，ACM SIGOPS”，“作者”：“M.F\u00e4hndrich”，“年份”：“2006”，“非结构化”：“F\u00e4hndrich，M.、Aiken，M.，Hawblitzel，C.、Hodson，O.、Hunt，G.C.、Larus，J.R.、Levi，S.：奇异操作系统中基于消息的快速可靠通信的语言支持。摘自：Zwaenepoel，W.（编辑）EuroSys2006，ACM SIGOPS，第177\u2013190页。ACM Press，New York（2006）“}，{”key“：”23_CR10“，”doi-asserted-by“：”crossref“，”first page“：“61”，”doi“：”10.1145\/1140335.1140344“，”volume-title“：”PPDP\u201906“，”author“：”P.Garralda“，”year“：”2006“，”unstructured“：”Garralda-P.，Compagnoni，A.，Dezani-Ciancaglini，M.：BASS:Boxed Ambients with Safe Sessions.In:Maher，M.编辑）PPDP\u201906，第61\u201372页。ACM Press，New York（2006）“}，{“key”：“23_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Gay，S.：会话类型中的有界多态性。MSCS（待出现）”，“doi”：“10.1017\/S0960129508006944”}，}“key”：“23 _CR12”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”:“publisher”，”first page“：”74“，”doi“：”10.1007\/3-540-44 9099-X_6“，”volume-title“：”Programming Languages and Systems“，”author“：”S.Gay“，”year“：”1999“，”unstructured“：”Gay，S.，Hole，M.：客户端-服务器交互的类型和子类型。收录于：Swierstra，S.D.（编辑）ESOP 1999和ETAPS 1999。LNCS，第u00a01576卷，第74\u201390页。Springer，Heidelberg（1999）“}，{”issue“：”2\/3“，”key“：”23_CR13“，”doi-asserted-by“：”publisher“，”first page“：“191”，“doi”：“10.1007\/s00236-005-0177-z”，“volume”：“42”，“author”：“S.Gay”，“year”：“2005”，“unstructured”：“Gay，S.，Hole，M.：Pi-Calculus.Acta Info.\u00a042（2\/3），191 \u2013225（2005）“，”新闻标题“：”Acta信息。“｝，｛”key“：”23_CR14“，”非结构化“：”Gay，S.，Vasconcelos，V.T.：功能会话类型的新方法（2006年10月）“｝，｛”issue“：”4-5“，”key“：”23_CR15“，”doi asserted by“：”publisher“，”first page“：”227“，”doi“：”10.1007\\s00226-05-0178-y“，”volume“：”42“，”author“：”M.Hennessy“，”year“：”2005“，”非结构化“：”Hennessy，M.，Rathke，J.，Yoshida，N.：SafeDpi：一种控制移动代码的语言。《信息学报》\u00a042（4-5），227\u2013290（2005）“，“新闻标题”：“信息学报”}，{“key”：“23_CR16”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”22“，“doi”：“10.1007\/BFb0053567”，“volume-title”：”编程语言和系统“，”作者：“K.Honda”，年：“1998”，“非结构化”：“Honda，K.，Vasconcelos，V.T.，Kubo，M.：结构化通信编程的语言原语和类型规则。摘自：Hankin，C.（编辑）1998年ESOP和ETAPS 1998。LNCS，第00a01381卷，第22页\u2013138。Springer，Heidelberg（1998）“}，{”key“：”23_CR17“，”unstructured“：”Hu，R.：“分布式移动Java的实现。硕士论文，伦敦帝国理工学院（2006）”}，“key”：“23_CR18”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：”56“，“doi”：“10.1007\/978-3-540-24836-15”，“volume-title”：”声明性语言的实用方面”，“作者”：“M.Neubauer”，“年份”：“2004年”，“非结构化”：“Neubaur，M.，Thiemann，P.：会话类型的实现。收录：Jayaraman，B.（编辑）PADL 2004。LNCS，第u00a03057卷，第56\u201370页。Springer，Heidelberg（2004）“}，{“key”：“23_CR19”，“unstructured”：“Sangiorgi，D.：在过程代数中表达移动性：一阶和高阶范式。爱丁堡大学博士论文（1992）”10.1007\/3-540-58184-7_118“，“volume-title”：“PARLE\u201994 Parallel Architectures and Languages Europe”，“author”：“K.Takeuchi”，“year”：“1994”，“unstructured”：“Takeuchin，K.，Honda，K.Kubo，M.：一种基于交互的语言及其类型系统。收录于：Halatsis，C.，Philokyprou，G.，Maritsas，D.，Theodoridis，S.（编辑）PARLE 1994。LNCS，第u00a0817卷，第398\u2013413页。Springer，Heidelberg（1994）“}，{”key“：”23_CR21“，”series-title“：”ENTCS“，”volume-title“：“FOCLASA\u201902”，“author”：“A.Vallecillo”，“year”：“2002”，“unstructured”：“Vallecillo，A.，Vasconcelos，V.T.，Ravara，A.：使用会话类型键入对象和组件的行为。In:FOCLASA \u2011902。ENTCS，vol.\u00a068（3），Elsevier，Amsterdam（2002）“}，{“key”：“23_CR22”，“unstructured”：“Vasconcelos，V.T.：关于高阶\u03c0-calculations.Keio University（1993年9月）的打字系统注释”}，}“issue”：“1-2”，“key“：”23_CR23“，”doi-asserted-by“：”publisher“，”first page“：“64”，“doi”：“10.1016\/j.tcs.2006.028”，“volume”：”368“，“作者”：“V.T。Vasconcelos”，“年份”：“2006”，“非结构化”：“Vasconcelos，V.T.，Gay，S.，Ravara，A.：使用会话类型对多线程函数语言进行类型检查。TCS\u00a0368（1-2），64\u201387（2006）“，”journal-title“：”TCS“}，{“key”：“23_CR24”，“volume-title”：“子结构类型系统”，“author”：“D.Walker”，“year”：“2005”，“unstructured”：“Walker，D.：类型和编程语言高级主题。in:Pierce，B.C.（ed.）Substructural Type Systems，MIT Press，Cambridge（2005）”}，“{”key“：”23_CR25“，”非结构化“：”Web服务编排工作组。Web服务编排描述语言。http://www.w3.org\/2002\/ws\/chor\/“}，{“key”：“23_CR26”，“doi-asserted-by”：“crossref”，“first page”：”147“，“doi”：“10.1145\/964014”，“volume-title”：“POPL\u00a0\u201904”，”author“：”N.Yoshida“，”year“2004”，“unstructured”：“Yoshita，N.：高阶移动进程的通道依赖类型。In:POPL\u 00a 0\u201904，第147\u2013160页。ACM Press，New York（2004），完整版可在www.doc.ic.ac.uk \/\u1ef9oshida“}上获得，{“key”：“23_CR27”，“first page”：”82“，“volume”：：“172”，“author”：“N.Yoshida”，“year”：“2002”，“unstructured”：“YoshidaN.，Hennessy，M.：为进程分配类型。I\u00a0&\u00a 0C\u00a0172，82\u2013120（2002）”，“journal-title”：“I\u00 a0&\u00a0C“}，{”键“：”23_CR28“，”非结构化”：“Yoshida，N.，Vasconcelos，V.T.：基于结构化通信编程的语言原语和类型学科回顾。包含：SecRet\u201906。ENTCS，Elsevier，Amsterdam（待发布）“}]，“container-title”：[“计算机科学课堂讲稿”，“键入Lambda Calculi和应用程序”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-73228-0_23”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2023,5,13]]，“date-time”：“2023-05-13T10:29:12Z”，“timestamp”：1683973752000}，“score”：1，“resource”：{”primary“：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-73228-0_23”}，”subtitle“：[]，”shorttitle“：[]，“issued”：{“date-parts”：[2007]}，《ISBN》：[“9783540”732273“，”9783540732280“]，“references-count”：28，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-73228-0_23“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：“0302-974”，“type”：“print”}，{”value“：“1611-33049”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2007]]}}}}