{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T12:47:59Z”，“时间戳”：1648558079367}，“引用-计数”：25，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{:“日期-零件”：[[2007,4,1]]，”日期-时间“：”2007-04-01T00:00:00:00:00 0Z“，”时间戳“：1175385600000}，”内容版本“：“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”：2311，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2007,4]]}，”DOI“：”10.1016\/j.entcs.2007.02.016“，”type“：”journal-article“，”created“：{”date-parts“：[2007,4,11]]，”date-time“：”2007-04-11T16:40:43Z“，”timestamp“：”117630964300}“，”page“：“479-497”，“source”：“交叉参考“，“is-referenced-by-count”：0，“title”：[“结构化操作语义：简化和计算”]，“prefix”：“10.1016”，“volume”：“172”，“author”：[{“给定”：“Eugenio”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”“：”217“，”doi“：“10.1016\/0304-3975（92）90185-I”，“article-title”：“The chemical abstract machine”，“volume”：“96”，“author”：“Berry”，“year”：“1992”，“journal-title“：”Theory Computer Science“}，{”key“：”10.1016\/j.entcs.2007.016_bib002“，”series-title“：“Global Computing-Programming Environments，Languages，Security and Analysis of Systems”，“article-tidle”：“Klaim项目：理论与实践”，“卷”：“2874”，“作者”：“Bettini”，“年份”：“2003”}，{“key”：“10.1016\/j.entcs.2007.02.016_bib003”，《series-title》：“FMOODS”，“首页”：“109”，”article-title“：“kell演算：操作语义和类型系统”，“volume”：”2884“author”：“Bidinger”，“year”：“2003}”，{”key“：”10.1016\/j.e ntcs.2007.02.016_bib004“，“doi-asserted-by”：“crossref”，“doi”：“10.1016\/S0304-3975（99）00231-5”，“article-title”：“移动环境”，“卷”：“240”，“作者”：“Cardelli”，“年份”：“2000”，“日志标题”：“TCS”}，{“key”：“101016\/j.entcs.2007.016_bib005”Mobile ambients”，“volume”：“1378”，“author”：“Cardelli”，“year”：“1998”}，{“key”：“10.1016\/j.entcs.2007.02.016_bib006”，“doi-asserted-by”：“crossref”，”first page“：“315”，“doi”：“101109\/32.685256”，，“article-title”：“Klaim:代理交互和移动性的核心语言”，“volume”：”24“，”author“：”DeNicola“，”year“：”1998“，”journal-title“：”IEEE Transactions on Software Engineering“}，{”key“：“10.1016\/j.entcs.2007.02.016_bib007”，“非结构化”：“Fornet，C.和G.Gonthier，自反性化学抽象机和联合计算，in：Conf.Rec.POPL'96:第23届ACM Symp.Princ.of Prog.Langs.，1996”}，{“key”：“10.116\/j-entcs.20007.02.016_ bib008”，《series-title》：“国际应用语义学暑期学校高级讲座”，“首页”：“268”，“article-title”：“连接演算：分布式移动编程语言”，“卷”：“2395”，“作者”：“Fornet”，“年份”：“2002”}，{“键”：“10.1016\/j.entcs.2007.016_bib009”，“series-title”：“理论计算机科学：探索理论信息学的新前沿，TCS 2000国际IFIP会议论文集”，“首页”：“348”，“文章标题”：“移动环境的异步分布式实现”，“卷”：“1872”，“作者”：“Fornet”，“年”：“2000”}，{“键”：“10.1016\/j.entcs.2007.016_bib010”，“非结构化”：“Gabbay，M.J.和A.M.Pitts，涉及绑定器的抽象语法的新方法，摘自：Proc.14th Ann.IEEE Symp.Logic in Compute.Sci.，1999，pp.214\u2013224”}，{“key”：“10.1016\/J.entcs.2007.02.016_bib011”，“doi-asserted-by”：“crossref”，《首页》：“80”，“doi”：“101145\/2363.2433”，“article-title”：“Linda中的生成通信”，“volume”：“7”，“author”：“Gelernter”，“year”：“1985”，“journal-title”：“ACM Transactions on Programming Languages and Systems”}，{“key”：”10.1016\/j.entcs.2007.016_bib012“，”series-title“：”ESOP“，”first page“：”100.2007.02.016_bib013“，“series-tile”：“FLOPS”，“first page”：“276”，“article-title”：“Basic pattern matching calculi:a new view on matching failure”，“volume”：《2998》，“author”：“Kahl”，“year”：“2004”}，{“key”：”10.1016\/j.entcs.2007.016_bib014“，“unstructured”：“Klop，j.W.，\u201c Combinary Reduction Systems，\u201 D Mathematisch Centrum，Amsterdam，1980，ph.D.Thesis”}、{“key”：“10.1016\/j.entcs.2007.02.016_bib015”，“doi-asserted-by”：“crossref”，“doi”：“10.12016\/0890-5401（91）90052-4”，“article-title”：“计算和单子的概念”，“volume”：“93”，“author”：“Moggi”，“year”：“1991”，“journal-title“：“Information and computation”}，{“key”：”10.1016//j.entc.2007.016_bip016“，“series-title”：“Proc.FoSSaCS'03”，“文章标题”：“A monadic multi-stage metalanguage”，“volume”：“2620”，“author”：“Moggi”，“year”：“2003”}，{“key”：”10.1016\/j.entcs.2007.02.016_bib017“，“doi-asserted-by”：“crossref”，“doi”：“10.1051\/ita:2004018”，“article-title”：“值递归的抽象monadic语义”，“volume”:“38”，“author”:“Moggi'，“year:”2004“，”journal-title“：“理论信息学与应用”}，{“key”：“10.1016\/j.entcs.2007.02.016_bib018”，“series-title”：“函数式编程语言的实现”，“author”：“Peyton Jones”，“year”：“1987”}。D.，操作语义的结构化方法，技术报告DAIMI FN-19，奥胡斯大学计算机科学系（1981）“}，{”key“：”10.1016\/j.entcs.2007.02.016_bib020“，”unstructured“：”Sangiorgi，D.，\u201c过程代数中的迁移性表达：一阶和高阶范式，\u201d博士论文CST\u201399\u201393，爱丁堡大学计算机科学系（1992）“｝，｛“key”：“10.1016\/j.entcs.2007.02.016_bib021”，“series title”：“Global Computing”，“First page”：“146”，“article title”：“凯尔演算：一系列高阶分布式进程演算”，“卷”：“3267”，“作者”：“施密特”，“年份”：“2004”}，{“键”：“10.1016\/j.entcs.2007.02.016_bib022”，“doi-asserted-by”：“crossref”，“非结构化”：“Shinwell，M.R.，A.M.Pitts和M.j.Gabbay，FreshML：用装订器简化编程，in：第八届国际会议。函数编程（2003）“，”DOI“：”10.1145\/944705.944729“}，{“key”：“10.1016\/j.entcs.2007.02.016_bib023”，“series-title”：“编程语言的语义”，“author”：“Tennent”，“year”：“1991”}，“key“：”101016\/j.entc.2007.02.016_ bib024“，”非结构化“：”Turi，D.，功能操作语义学及其指称对偶，阿姆斯特丹自由大学博士论文（1996）年份“：”1994“，”日记标题“：”信息与计算“}]，”容器标题“：[”理论计算机科学中的电子笔记“]，”原始标题“：[]，”语言“：”en“，”链接“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S1571066107000898？httpAccept=text\/xml“，”内容类型“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066107000898？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2019,4,27]]，“date-time”：”2019-04-27T03:38:52Z“timestamp”：1556336332000}，“score”“：1，”资源“：{”主“：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066107000088“｝”，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2007,4]]｝，“引用次数”：25，“替代id”：[“S1571066107000088”]，“URL”：“http:\/\/dx.doi.org/10.1016\/j.entcs.2007.02.0016”，“关系”：｛｝，“ISSN”：[“1571-0661”]，“ISSN类型“：[｛”value“：”1571-0661“，”type“：”print“｝]，”主题“：[]，”已发布“：{“日期部分”：[[2007,4]]}}}