｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,7,10]，“日期时间”：“2024-07-10T15:25:21Z”，“时间戳”：17206251211175｝，“引用计数”：21，“发布者”：“爱思唯尔BV”，“许可证”：[｛“开始”：｛“日期部分”：[[2010,9,1]]，“日期时间”：“2010-09-01T00:00:00Z”，“时间戳”：1283299200000｝，“内容版本“：“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.018“，”type“：”journal-article“，”created“：{”date-parts“：[2010,9,4]]，”date-time“：”2010-09-04T11:15:21Z“，”timestamp“：1283598921000}，‘page’：”301-324“，”source“Crossref”“，”，“is-referenced-by-count”：18，“special_numbering”：“C”，“title”：[“Geometry of Synthesis II:From Games to Delay-Insitive Circuits”]，“前缀”：“10.1016”，“卷”：“265”，“作者”：[{“给定”：“Dan R.”，“家族”：“Ghica”，“序列”：“first”，“affiliation”：[]}，{“given”：“Alex”，“family”：“Smith”，“，”引用“：[{“key”：“10.1016\/j.entcs.2010.08.018_br0010”，“doi-asserted-by”：“crossref”，“unstructured”：“Abramsky，S.，Retracing some path in process algebra，in：CONCUR，1996，pp.1\u201317.”，《doi》：“10.1007\/3-540-61604-7_44”}，{“密钥”：“1016\/j.entcs.2010.08.018_br 0020”，“内政部”：“10.1006\/inco.2000.2930”，“article-title”：“PCF的完全抽象”，“volume”：“163”，“author”：“Abramsky”，“year”：“2000”，“journal-title“：”Inf.Comput.“}，{“key”：”10.1016\/j.entcs.2010.08.018_br0030“，”unstructured“：”Abramsky-S.和G.McCusker，《游戏语义》，摘自：1997年Marktoberdorf暑期学校学报，1997年，“doi asserted by”：“crossref”，“unstructured”：“Ghica，D.R.，Geometry of Synthesis：超大规模集成电路设计的结构化方法，in：POPL，2007，pp.363\u2013375.”，“doi”：“10.1145\/1190211.690269”｝，｛“key”：“10.1016\/j.entcs.2010.008.018_br0050”，“doi asserted by”：“crossref”，“unstructured”：“Ghica，D.R.，《游戏语义的应用：从软件分析到硬件合成》，收录于：LICS，2009年，第17\u201326页。”，“DOI”：“10.1109\/LICS.2009.26”}，{“key”：“101016\/j.entcs.2010.018_br0060”，“unstructured”：“Ghyca，D.R，硬件编译的函数接口模型：类型、签名、协议，CoRR abs \/0907.0749（2009）。”}、{“key”：“10.1016\/j.entcs.2010.08.018_br0070”，“doi-asserted-by”：“crossref”，“first page”：“469”，“doi”：“10.10.16\/S0304-3975（03）00315-3”，“article-title”：“二阶理想化算法的正规语言语义”，“volume”：”309“，”author“：”Ghica“，”year“：”2003“，”journal-title“：”Theor.Comput.Sci.“}，{”key“10.1016”j.entcs.2010.08.018_br0080“，“doi-asserted-by”：“crossref”，“first page”：“89”，“doi”：“10.1016\/j.apal.2007.10.05”，“article-title”：“细粒度并发的Angelic语义”，“volume”：”151“，“author”：“Ghica”，“year”：“2008”，“journal-title“：“Pure and Applied Logic年鉴”}，{“key”：“：”234“，”doi“：“10.1016\/j.tcs.2005.10.032”，“article-title”：“并发的语法控制”，“volume”：“350”，“author”：“Ghica”，“year”：“2006”，“journal-title“：”Theor.Comput.Sci.“}，{”key“：”10.1016\/j.entcs.2010.018_br0100“，”doi-asserted-by“：”crossref“，”first page“：“69”，“doi”：“10.1109\/5.362752”，“article-titel”：“异步设计方法：概述”，“volume”：“83”，“author”：“Hauck”，“year”：“1995”，“journal-title”：“Proceedings of the IEEE”}，{“key”：”10.1016\/j.entcs.2010.08.018_br0110“，”doi-asserted-by“：”crossref“，”first page“：”285“，”doi“：”10.1006\/inco.2000.2917“，”article-title“On full abstration for PCF:I，II，and III“，”volume“：“163”，”author“：”Hyland“，“年份”：“2000”，“新闻标题”：“Inf。计算。“}，{”key“：”10.1016\/j.entcs.2010.08.018_br0120“，”doi-asserted-by“：”crossref“，”first page“：“447”，“doi”：“10.1017\/S0305004100074338”，“article-title”：“跟踪单体范畴”，“volume”：“119”，“author”：“Joyal”，“year”：“1996”，“journal-title“：”Cambridge Philosophical Society的数学论文集“}”，{“key”：”10.116\/j-entcs。2010.08.018_br0130“，”doi-asserted-by“：”crossref“，”unstructured“：”McCusker，G.，《句法控制干扰的完全抽象关系模型》，载于：CSL，2002，第247\u2013261页。“，”doi“：”10.1007\/3-540-45793-3_17“}，{“key”：“10.1016\/j.entcs.2010.018_br0140”，“unstructure”：“Menaa，M.N.，《迈向同步游戏语义》，《逻辑和编程语言四游戏研讨会》，约克，2009年。“}，{”key“：”10.1016\/j.entcs.2010.08.018_br0150“，”series-title“：”Sequential Circuits“，”author“：”Miller“，”year“：”1965“}10.1016\/j.compleceng.2008.06.004“，“article-title”：“双轨过渡逻辑：对抗功率分析攻击的逻辑风格”，“volume”：“35”，“author”：“Moradi”，“year”：“2009”，“journal-title“：”Computers&Electrical Engineering“}，{”key“：”10.1016\/j.entcs.2010.018_br0170“，”doi-asserted-by“：”crossref“，”first-page:“211”，“doi”：“”10.1016\/S0304-3975（98）00359-4“，“文章标题”：“干扰的句法控制重访”，“卷”：“228”，“作者”：“奥赫恩”，“年份”：“1999”，“新闻标题”：”Theor。计算。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.018_br0180“，”doi-asserted-by“：”crossref“，”unstructured“：”Reynolds，j.C.，干扰的语法控制。，in：POPL，1978，pp.39\u201346.“，”doi“：”101145\/512760.512766“}”，{“key”：“10.1016\/j.entcs.2010.008_br0190”，“series-title”：“异步电路设计原理：系统观点”，“year”：“2001“}，{”key“：”10.1016\/j.entcs.2010.08.018_br0200“，”doi-asserted-by“：”crossref“，”first page“：“720”，“doi”：“10.1145\/63526.3532”，“article-title”：“Micropipelines”，“volume”：“32”，”author“：”Sutherland“，“year”：“1989”，“journal-title“：”Commun.ACM“}”，{“key”：”10.116\/j-entcs.2010.108.18_br021 0“，”doi-asserted-by“：”crossref“，”first page“：”101“，”doi“：”10.1109\/43.743711“，“文章标题”：“扩展突发模式电路的自动合成I”，“卷”：“18”，“作者”：“Yun”，“年份”：“1999”，“期刊标题”：《IEEE Trans。在集成电路和系统CAD上“}”，“container-title”：[“理论计算机科学中的电子笔记”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000976？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000976？httpAccept=text\\/plain”，“内容类型”：“text\\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝]，“已存储”：｛“日期部分”：[[2019,6,3]]，“日期时间”：“2019-06-03T15:1:22Z”，“时间戳”：1559575282000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://linkinghub.elsevier.com/retrieve\\/pii\\S1571066110000976”｝，“副标题”：[]，“shorttitle“：[]，”issued“：{”date-parts“：[[2010,9]]}，”references-count“：21，”alternative-id“：[”S1571066110000976“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.entcs.2010.08.018“，”relation“：{}，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“value”：“1571-661”，“type”:“print”}]，“subject”：【]，“已发布”：{“日期部分”：[[2010,9]]}}}