{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,13]]，“日期时间”：“2023-01-13T23:49:41Z”，“时间戳”：1673653781100}，“引用-计数”：12，“发布者”：“开放发布协会”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\\EPTCS.203.1”，“type”：“期刊文章”，“created”：{“日期部分”：[[2016,2,10]，“日期时间”：“2016-02-10T03:45:04Z”，“时间戳”：1455075904000}，“page”：“1-13”，“source”：“Crossref”，“由count引用”：2，“title”：[“使用会话类型作为效果系统”]，“prefix”：“10.4204”，“音量”：“203”，“author”：[{“given”：“Dominic”，“family”：“Orchard”，“sequence”：“first”，“affiliation”：[}“name”：“Imperial College London”}]}，{“given”:“Nobuko”，“家族”：“Yoshida”，“sequence”:“additional”，“feliation”:[{”name“Imperal College Lendon”{]}]，“member”：“2720”，“published-on-line”：{“date-parts”：[[2016,2,10]]}“：”bocchino2009type“，“doi-asserted-by”：“publisher”，“first page”：“97”，“doi”：“10.1145\/1640089.1640097”，《article-title》：“确定性并行Java的类型和效果系统”，“author”：“Bocchino Jr”，“year”：“2009”，“journal-title”：“In Proocedings of OOPSLA 2009”}，{“key”：《CDY2014》，“doi-asserted-by”：643138英寸，“article-title”：“On the Precision of Subtyping in Session Types”，“volume-title“：”PPDP 2014“，”author“：”Chen“，”year“：”2014“}，{“key”：“gifford1986effects”，”series-title“：“LFP'86”，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/31988.319848“，”article-title““：”集成函数式和命令式编程“，”volume-title“：“LISP和func.prog.会议记录”，“author”：“Gifford”，“year”：“1986”}，{“key”：“KOUZAPAS_2014”，“doi-asserted-by”：“publisher”，《first page》：“1”，“doi”：“10.1017\/s096012951400019x”，“article-title”：“on asynchronous eventful session segments segmental”，“作者”：“KOUZAPAS”，”year“2014”，“日记标题”：“计算机科学中的数学结构”}，{“issue”：“2”，“key”：“MilnerR:funp”，“doi-asserted-by”：“publisher”，”first page“：”119“，”doi“：”10.1017\/s0960129500001407“，”article-title“：”Functions as Processes“，”volume“：“2“，”doi“：”10.1016\/j.ic.2015.02.002“，”文章标题“：“高阶\u03c0LaTeX的会话类型和异步子类型错误：错误的数学环境分隔符有关说明，请参阅LaTeX手册或LaTeX Companion。您的命令被忽略。键入I 用另一个命令替换它，或继续下去。-微积分“，”卷“：”241“，”作者“：”莫斯特鲁斯“，”年份“：”2015“，”杂志标题“：”Inf.Compute“。“｝，｛”key“：”nielson1999type“，”doi asserted by“：”publisher“，”首页“：”114“，”doi“：”10.1007\/3-5400-48092-7_6“，”文章标题“：”类型和效果系统“，”卷标题“：”正确的系统设计“，”作者“：”尼尔森“，”年份“：”1999“｝，｛”key“：”nielson1994higher“，”doi asserted by“：”publisher“，”首页“：”84“，”doi“：”10.1145\/174675.174538“，”文章标题“：”有限通信拓扑的高阶并发程序”，“volume-title”：“程序设计语言原理研讨会论文集”，“author”：“Nielson”，“year”：“1994”}，{“key”：“DBLP:conf\/icfp\/PetricekOM14”，“doi-asserted-by”：“publisher”，“first page”：系数：上下文相关计算的微积分”，“卷-时间”：“ICFP会议录”，“作者”：“Petricek”，“年份”：“2014”}，{“key”：“SangiorgiD:picatomp”，“doi-asserted-by”：“publisher”，《卷-时间》：“The \u03c0-calculus:a Theory of Mobile Processes”，“author”：“桑吉奥吉”，“year”：“2001”，“doi”：“10.2178 \/bsl\/1182353926”}、{“密钥”：“TalpinJP:typeffd”，“doi-asserted-by“：”publisher“，”first page“：”162“，“doi”：“10.1109\/lics.1992.185530”，“article-title”：“类型和效果规程”，“volume-title“：”Proc。LICS’92”，“author”：“Talpin”，“year”：“1992”}，{“issue”：“4”，“key”：“YoshidaV07”，“doi-asserted-by”：“publisher”，“first-page”：“73”，“doi”：“10.1016\/j.entcs.2007.02.056”，“article-title”：“基于结构化交际编程的语言原语和类型规则再认识：高阶会话交际的两种系统”，“volume”：”171“，”作者：“吉田”，“年份”：“2007年”，“新闻标题”：“选举人”。注释Theor。计算。科学。“}”，“container-title”：[“理论计算机科学电子论文集”]，“原始标题”：[]，“语言”：“en”，“存放”：{“日期-部分”：[[2016,2,12]]，“日期-时间”：“2016-02-12T04:35:21Z”，“时间戳”：1455251721000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\/arxiv.org\/abs\/1602.03591”}}，”副标题“[]”，“短标题”：[]，“已发布”：{date-parts“：[[2016,2,10]]}，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.203.1“，”relation“：{}，“ISSN”：[“2075-2180”]，”ISSN-type“：[{”value“：”2075-21980“，”type“:”electronic“}]，”subject“：[]，”published“：{”date-part“：[2016,2,10]]}}}}