{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:25:24Z”，“时间戳”：1720625124092}，“引用-计数”：16，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[2010,9,1]]，《日期-时间》：“2010-09-01T00:00:00Z“，”timestamp“：1283299200000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2010,9]]}，”DOI“：”10.1016\/j.entcs.2010.08.023“，”type“：”journal-article“，”created“：{”date-parts“：[2010,9,4]]，”date-time“：”2010-09-04T11:15:21Z“，”timestamp“：1283598921000}，参考“，“is-referenced-by-count”：0，“special_numbering”：“C”，“title”：[“建模局部变量：可能的世界和对象空间”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[{“给定”：“Guy”，“family”：“McCusker”，“sequence”：“first”，“affiliation”：[]}，{“givent”：“John”，“家族”：“Power”，参考“：[{”键“：“10.1016\/j.entcs.2010.08.023_br0010”，“doi-asserted-by”：“crossref”，“first page”：“2”，“doi”：“10.106\/S1571-0661（05）80398-6”，“article-title”：“线性、共享和状态：具有主动表达式的理想化算法的完全抽象游戏语义（扩展抽象）”，“volume”：：“理论计算机科学中的电子笔记”}，{“key”：“10.1016\/j.entcs.2010.08.023_br0020”，“doi-asserted-by”：“crossref”，“unstructured”：“Abramsky，S.和G.McCusker，Linearity，sharing and state:Idealized Algol with active expressions的完全抽象游戏语义，见：O'Hearn和Tennent[13]第2卷第297\u2013329页。”，“doi”：“10.1007\/978-1-4757-3851-3_10”}，{“key”：“10.1016\/j.entcs.2010.08.023_br0030”，“doi-asserted-by”：“crossref”，“unstructured”：“Bucciarelli，A.，T.Ehrhard和G。Manzonetto，并行和非确定性\u03bb-calculus的关系模型，载于：LFCS’09：2009年计算机科学逻辑基础国际研讨会论文集（2009），第107\u2013121页。“，”DOI“：”10.1007\/978-3-540-92687-0_8“}，{“key”：“10.1016\/j.entcs.2010.023_br0040”，“series-title”：“计算机科学逻辑：第十届国际研讨会论文集”，“首页”：“58”，“文章标题”：“并发预处理模型”，“卷”：“1258”，“作者”：“Cattani”，“年份”：“1997”}，{“键”：“10.1016\/j.entcs.2010.023_br0050”，“doi-asserted-by”：“crossref”，“第一页”：非类型\u03bb-calculus的恩格斯型模型的分类理论公式，“卷”：“161”，“作者”：“Hyland”，“年份”：“2006”，“期刊标题”：“理论计算机科学中的电子笔记”}，{“key”：“10.1016\/j.entcs.2010.023_br0060”，“series-title”：“丰富范畴理论的基本概念”，“author”：“Kelly”，“year”：“1982”}10.1016\/j.entcs.2010.08.023_br0070“，“series-title”：“工作数学家的类别”，“author”：“Mac Lane”，“year”：“1971”}，{“key”：“10.1016\/j.entcs.2010.023_br0080”，“series-title”：《计算机科学逻辑学报（CSL）2002》，“首页”：“247”，“article-title“：“干扰的句法控制的完全抽象关系模型”，“volume“：”2471“，”author“：”McCusker“，”year“：”2002“}，{“key”：“10.1016\/j.entcs.2010.08.023_br0090”，“doi-asserted-by”：“crossref”，“doi”：“101016\/S1571-0661（03）50009-3”，“article-title”：“关于类Algol语言中坏变量构造函数的语义”，“author”：“McCuske”，“year”：“2003”，“journal-title“：”理论计算机科学电子笔记“}，{“key”：“10.1016\/j.entcs.2010.08.023_br0100”，“doi-asserted-by”：“crossref”，“首页”：“1”，“doi”：“10.2168\/LMCS-6（1:2）2010”，“article-title”：“命令计算的图形模型”，“volume”：10.1016\/j.entcs.2010.08.023_br0110“，”doi-asserted-by“：”crossref“，”first page“：”211“，“doi”：“10.1016\/S0304-3975（98）00359-4”，“article-title”：“重新访问的干扰的语法控制”，“volume”：“228”，“author”：“O'Hearn”，“year”：“1999”，“journal-title“：”理论计算机科学“}，{“key”：”10.1016\\j.entc.2010.023_br0120“，”doi-asserted-by“：”crossref”，“首页”：“487”，“DOI”：“10.1016/S1571-0661（04）00027-1”，“文章标题”：“对象、干扰和Yoneda嵌入”，“作者”：“O’Hearn”，“年份”：“1995”，“期刊标题”：“理论计算机科学电子笔记”}，{“密钥”：“10.1016\/j.entcs.201.08.023_br0130”，“年份”：“1997”}，{“密钥”：“10.1016\/j.entcs.201.08.023_br0140”，“doi-asserted-by“：”crossref“，”first page“：”7“，”doi“：”10.1007\/BF01806032“，”article-title“：”全局状态被认为是不必要的：无干扰命令程序的基于对象的语义“，”volume“：“9”，”author“：”Reddy“，”year“：”1996“，”journal-title”：“Lisp和符号计算”}，{“key”：“10.1016\/j.entcs.2010.08.023_br0150”，“doi-assert-by”：“”crossref“，”unstructured“：”Reynolds，J.C.，干扰的句法控制，in：Conf.Record 5th ACM Symposium on Principles of Programming Languages，1978，pp.39\u201346。“，”DOI“：”10.1145\/512760.512766“}，{“key”：“10.1016\/J.entcs.2010.023_br0160”，“unstructure”：“Reynolds，J.C.，《Algol的本质》，摘自：1981年国际算法语言研讨会论文集（1981年），第345\u2013372页。“}]，“容器-时间”：[“理论计算机科学中的电子笔记”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066110001027？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110001027？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“日期段”：[[2018,12,8]]，“date-time“：”2018-12-08T07:24:41Z“，”timestamp“：15442538810000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066110001027”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：7“]，”URL“：”http:\/\/dx.doi.org\/10.1016\/j.entcs.2010.08.023“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-661“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[2010,9]]}}}}