{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,8,1]]，“日期-时间”：“2024-08-01T10:27:09Z”，“时间戳”：1722508029292}，“参考-计数”：38，“出版商”：“工业与应用数学学会（SIAM）”，“问题”：“5”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“SIAM J.Compute.”]，“published-print”：{“date-parts”：[[1998,10]]}，“DOI”：“10.1137\/s0097539794275860”，“type”：“journal-article”，“created”：{“date-parts”：[[2003,6,11]]，“date-time”：“2003-06-11T11:12:06Z”，“timestamp”：1055329926000}，”page：“1376-1419”，“源”：“Crossref”，“is-refere”nced-by-count“：39，”标题“：[“A Filter Model for Concurrent$\\lambda$-Calculus”]，“prefix”：“10.1137”，“volume”：“27”，“author”：[{“given”：”Mariangiola“，”family“：”Dezani-Ciancaglini“，”sequence“：”first“，”affiliation“：[]}，{“给定”：“Ugo”，”faily“：“de'Liguoro”，“sequence”：“additional”，“afliation”：[]{“given”:“Adolfo”，”“family“：”附加“，”从属“：[]}]，“member”：“351”，“reference”：[{“key”：“R1”，“doi-asserted-by”：“publisher”，”doi“：”10.1006\/inco.1994.1019“}，{“key”：”R3“，”doi-assert-by“：”publisher“，“doi”：“10.1016\/0304-3975（87）90065-X”}，“{”key“：”R5“，”doi-assertd-by“：”publisher“，”doi:”10.1016\/0168-0072（91）90065-T“}”，{“key”：“R6”，“doi-asserted-by”：“publisher”，“doi”：“10.1006”\/inco.1993.1044“}，{”key“：“R9”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（80）90015-8”}，{“key”：“R10”，“doi-assertd-by”：“crossref”，”first page“：”323“，”doi“：”10.1051\/ita\/1980140403231“，”volume“：“14”，“author”：“Astesiano Egidio”，“year”：“1980”，“journal-title”：“RAIRO-Inform.Th\u00e9 or。“}，{”key“：”R11“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（84）“90102-6“}，{“key”：“R12”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（92）90297-S”}，“key“：”R13“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/0304-375（95）00073-6“}.，{”key“:”R14“，”doi-asserted-by“”：“publisher”，“doi”：”10.1006\/inco.1995.1086“}”，{“：”R16“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/2273659“}，{“key”：“R19”，“doi-asserted-by“：”publisher“，”doi“：”10.1006\/inco.1994.1003“}，{“key”：“R20”，“doi-assert-by”：“publisher”，“doi”：“10.1006\/inco.1996.0037”}，“key“：”R23“，”volume-title“：”lattices and order“简介”，“author”：“Davey B.”，“year”：“1990”}、{“key”：”R24“，”doi-asserted-by“”：“publisher”，“doi”：“10.1016\/0304-3975（84）90113-0”}，{“键”：“R25”，“doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（96）00235-6“}，{“key”：“R30”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3642-67678-9”}，“key“：”R31“，”doi-asserted-by““作者”：“轩尼诗·马修”，“年份”：“1988”}，{“钥匙”：“R34”，“doi-asserted-by“：”publisher“，”doi“：”10.1006\/inco.1994.1052“}，{“key”：“R37”，“doi-assert-by”：“publisher”，“doi”：“10.1002\/malq.19800261902”}，“key“：”R38“，”first page“：“key”：“R39”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/S0097539791224212”}，｛“key”：“R41”，“doi asserted by”：“publisher”，“doi”：“10.1093\/comjnl/6.4.308”｝，｛“key”：“R44”，“doi asserted by”：“publisher”，“doi”：“10.1016\/0168-0072（83）90030-1”｝，｛“key”：“R45”，“doi asserted by”：“publisher”，“doi”：“10.1006\/inco.1995.145”｝，｛“key”：“R46”，“首页”：“115”，“卷”：“33”，“作者”：“Main M.G.”，“年份”：“1987”，“期刊标题”：“Bull.EATCS”}，{“key”：“R48”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0019-9958（82）80087-9”}，{“密钥”：“R49”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/0304-3975（77）90053-6“}，}“key:”R50“，”doi-assert-by“：”publisher“，”doi“：”10.1017\/S09K129500001407“}”，{”key“：”R51“，”首页“：”0“，”卷“：”100“，”作者“：”米尔纳·罗宾“，”年份“：”1992“，”新闻标题“：“通知和计算”}，{“key”：“R57”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（75）90017-1”}{“key”：“R61”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1994.1042”}，{“密钥”：“R62”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（93）90095-B”}，{“key”：“R65”，“doo-asserted-by”：”publisher“，”doi“：”10.1093\/comjnl\/35.514“}，”{“key”：”R66“，”doi-assert-by“：”publister“，”doi“：“10.116\/0022-0000（78）90048-X”}]，“container-title”：[“SIAM Journal on Computing”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/epubs.siam.org\/doi\/pdf\/10.1137\/S0097539794275860”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[[2018,2,19]]，“date-time”：“2018-02-19T11:42:01Z”，“timestamp”：1519040521000}，“score”：1，“resource”：“”：“http://\/epubs.siam.org\/doi\/10.1137\/S0097539794275860”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[1998,10]]}，”引用计数“：38，”日志发布“：{”发布“：“5”，”发布发布“：”日期部分“：[1998,10]}}860“]，”URL“：”http://\/dx.doi.org\/10.1137\/S0097539794275860“，”关系“：{}，”ISSN“：[“0097-5397”，“1095-7111”]，“issn-type”：[{“value”：“0097-50397”