{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,8,22]]，“日期时间”：“2023-08-2T11:16:51Z”，“时间戳”：1692703011017}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642407079”，“类型”：打印“}，{”值“：“9783642407086”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2013]]}，”DOI“：”10.1007\/978-3642-40708-6_17“，”type“：”book-capter“，”created“：”{“date-part”：[2013,9,18]]，“date-time”：“2013-09-18T05:”37:00Z“，”时间戳“：1379482620000}，”页面“：”220-233“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“Context-Sensitive Flow Analysis:A Hierarchy of Model Reductions”]，“prefix”：“10.1007”，”author“：[{”givend“：”Ferdinanda“，”family“：”Camporesi“，”sequence“：”first“，”affiliation“：[]}，{”given“：”J\u00e9r\u00f4me“，”“family”：“Feret”，“：”乔纳森“，”家人“：“Hayman”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“issue”：“17”，“key”：“17_CR1”，“doi-asserted-by”：“publisher”，”first page“：”3289“，”doi“：”10.1093\/生物信息学\/bth378“，”volume“20”，“author”：“M.L.Blinov”，“year”：“2004”，“unstructured”：“Blinov，M.L.，Faeder，J.R.，Goldstein，B.，Hlavacek，W.S.：Bionetgen：基于分子域相互作用的信号转导规则建模软件。生物信息学\u00a020（17），3289\u20133291（2004）”，“期刊标题”：“生物信息学”}，{“key”：“17_CR2”，“doi-asserted-by”：“crossref”，“非结构化”：“Bor-Yuh，E.C.，Rival，X.：关系归纳形状分析。摘自：Necula，G.C.，Wadler，P.（eds.）POPL，第247\u2013260页。ACM（2008）“，”DOI“：”10.1145\/1328897.1328469“}，{”key“：”17_CR3“，”DOI-asserted-by“：”crossref“，”unstructured“：”Borisov，N.M.，Markevich，N.I.，Kholodenko，B.N.，Dieter Gilles，E.：“通过受体和支架的信号传递：独立交互降低组合复杂性。《生物物理杂志》\u00a089（2005）“，“DOI”：“10.1529/biothysj.105.060533”}，{“issue”：“4”，“key”：“17_CR4”，，“doi-asserted-by”：“publisher”，“first page”：”407“，“doi”：“10.1017\/S09567968800000496”，“volume”：：“2”，“author”：“F.Bourdoncle”，“year”：“1992”，“unstructured”：“Bourdonicle，F.：动态分区的抽象解释。J.Funct.Program.\u00a02（4），407\u2013423（1992）”，“journal-title”：“J.Funct.Program”}，{“键”：“17_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Camporesi，F.，Feret，J.：基于规则模型的形式化约简。In:Mislove，M.，Ouaknine，J.（eds.）MFPS，匹兹堡，美国ENTCS，vol.\u00a0276，pp.29\u201359。Elsevier（2011年9月）“，”DOI“：”10.1016\/j.entcs.2011.09.014“}，{”key“：”17_CR6“，”DOI-asserted-by“：”crossref“，”unstructured“：”Camporesi，F.，Feret，j.，Koeppl，H.，Petrov，T.：组合模型简化。In:Mislove，M.，Selinger，P.（eds.）MFPS，渥太华，加拿大。entcs，vol.u00a0265，pp.73\u201396。Elsevier（2010年9月）“，”DOI“：”10.1016\/j.entcs.2010.08.0006“｝，｛”key“：”17_CR7“，”DOI断言“：”crossref“，”非结构化“：”Conzelmann，H.，Saez Rodriguez，j.，Sauter，T.，Kholodenko，B.N.，Gilles，E.D.：一种降低信号转导网络组合复杂性的面向领域的方法。BMC生物信息学\u00a07（2006）“，”DOI“：”10.1186\/1471-2105-7-34“}，{“key”：“17_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cousot，P.，Cousot，R.：抽象解释：通过构建或近似不动点对程序进行静态分析的统一格点模型。见：Graham，R.M.，Harrison，M.A.，Sethi，R.（eds.）POPL，pp.238\u2013252。ACM（1977）”，“DOI”：“10.1145\/512550.512973”}，{“issue”：“1”，“key”：“17_CR9”，“DOI断言”：“publisher”，“first page”：“43”，“DOI”：“10.2140\/pjm.19798.243”，“volume”：“81”，“author”：“P.Cousot”，“year”：“1979”，“nonstructured”：“Cousot，P.，Cousot，R.：Tarski\u2019不动点定理的构造版本。太平洋数学杂志\u2019 00a081（1），43\u201357（1979）“，“新闻标题”：“太平洋数学杂志”}，{“key”：“17_CR10”，“unstructured”：“Danos，V.，Feret，J.，Fontana，W.，Harmer，R.，HaymanFSTTCS，印度海得拉巴，第u00a018卷。IARCS，LIPIcs（2012）“}，{“key”：“17_CR11”，“series title”：“生物信息学讲义”，“doi断言”：“publisher”，“首页”：“103”，“doi”：“10.1007\/978-3-540-68413-8_8”，“volume title”：“系统生物学中的正式方法”，“author”：“V.Danos”，“year”：“2008”，“nonstructured”：“Danos，V.、Feret，J.、Fontana，W.、Harmer，R.、Krivine，J.：基于规则的建模、对称性、精细化。收录：Fisher，J.（编辑）FMSB 2008。LNCS（LNBI），第u00a05054卷，第103\u2013122页。Springer，Heidelberg（2008）“}，{“key”：“17_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Danos，V.，Feret，J.，Fontana，W.，Harmer，R.，Krivine，J.：抽象基于规则模型的差异语义：精确和自动模型约简。摘自：LICS，爱丁堡，GB，pp.362\u2013381。IEEE Computer Society（2010）“，”DOI“：”10.1109\/LICS.2010.44“}，{”issue“：”1“，”key“：”17_CR13“，”DOI-asserted-by“：”publisher“，”first page“：“69”，“DOI”：“10.1016\/j.tcs.2004.03.065”，“volume”：“325”，“author”：“V.Danos”，“year”：“2004”，“unstructured”：“Danos，V.，Laneve，C.：形式分子生物学。tcs\u00a0325（1），69 \u2013110（2004）“，”新闻标题“：”tcs“}，{“key“：”17_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Feret，J.、Danos，V.、Krivine，J.，Harmer，R.、Fontana，W.：分子系统的内部粗粒度。PNAS 106（16）（2009年4月）“，”DOI“：”10.1073\/PNAS.0809908106“}，{”key“：”17_CR15“，”DOI-asserted-by“：”publisher“，”first-page“：”137“，“DOI”：“10.1016\/j.tcs.2011.12.059”，“volume”：“431”，“author”：“j.Feret”，“year”：“2012”，“unstructured”：“Feret，J.，Henzinger，T.，Koeppl，H.，Petrov，T.：基于规则系统的集总抽象。TCS\u00a0431，137\u2013164（2012）“，“journal-title”：“TCS”}，{“key”：“17_CR16”，“unstructured”：“Feret，J.，Koeppl，H.，Petrov，T.：随机片段：基于规则模型随机语义精确约简的框架。IJSI（待出现）”}、{“issue”：“3”，“key“17_CR17”，“doi-asserted-by”：“publisher”，“first-page”：“37108”，“doi”：“10.1063\/1.3491100“，“卷”：“20”，“作者”：“R.Harmer”，“年份”：“2010”，“非结构化”：“Harmer，R.，Danos，V.，Feret，J.，Krivine，J.、Fontana，W.：组合动力系统中的内在信息载体。Chaos\u00a020（3），037108（2010）“，“journal-title”：“Chaos”}，{“key”：“17_CR18”，“unstructured”：“Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。摘自：LICS，pp.55\u201374。IEEE Computer Society（2002）“}，{”key“：”17_CR19“，”doi-asserted-by“：”crossref“，”unstructured“：”Sagiv，S.，Reps，T.W.，Wilhelm，R.：通过三值逻辑进行参数形状分析。摘自：Appel，A.W.，Aiken，A.（eds.）POPL，pp.105\u2013118。ACM（1999）“，”DOI“：”10.1145\/292540.292552“}，{”key“：”17_CR20“，”DOI-asserted-by“：”publisher“，”first page“：“191”，“DOI”：“10.2307\/1968865”，“volume”：“42”，“author”：“M.Ward”，“year”：“1942”，“unstructured”：“Ward，M.：格的闭包算子。Annals Math.\u00a042，191\u2013196（1942）”，“journal-title“：”Annals Math.“}]，”container-title“：[”系统生物学中的计算方法”，“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3642-40708-6_17”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,5,17]]，“date-time”：2019-05-17T06:52:08Z“，”timestamp“：1558075928000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-40708-6_17”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2013年]}，《ISBN》：[“9783642407079”，“978364 2407086”]，“references-count”：20，“URL“：”http://\/dx.doi.org\/10.1007\/978-3642-40708-6_17“，”关系“：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”