{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T04:33:43Z”，“时间戳”：1648528423106}，“出版商位置”：“柏林，海德堡”，“参考-计数”：13，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642324680”，“类型”：“打印”}，{“值”：“9783642324697”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-32469-7_12“，”type“：”book-capter“，”created“：{”date-ports“：[2012,8,21]]，”date-time“：”2012-08-21T:0 7:27Z“，”时间戳“：1345583247000}，”页面“：”177-191“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“针对分布式反应式嵌入式系统中的通信延迟优化软件的健壮性”]，“prefix”：“10.1007”，”author“：[{”given“：”Vlad“，”family“：”Popa“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Wolfgang“，”家族“：”Schwitzer“，”序列“：”additional“，”feliance“：[]}]，“member”：“297”，“reference”：[{“key”：“12_CR1”，“doi-asserted-by”：“crossref”、“unstructured”：“Harel，D.，Pnueli，A.：关于反应系统的发展，第477\u2013498页。Springer-Verlag New York，Inc.，纽约（1985）“，”DOI“：”10.1007\/978-3642-82453-1_17“}，{“问题”：“2”，“密钥”：“12_CR2”，“DOI-asserted-by”：“publisher”，“首页”：“26”，“DOI”：“10.1109\/MC.1982.1653939”，“卷”：“15”，“作者”：“A.Davis”，”年份“1982”，“非结构化”：“Davis，A.，Keller，R.：数据流程序图。Computer\u00a015（2），26\u201341（1982）“，”journal-title“：”Computer“}，{”issue“：”9“，”key“：”12_CR3“，”doi-asserted-by“：”publisher“，”first-page“：”1235“，”doi“：”10.1109\/PROC.1987.13876“，”volume“：“75”，”author“：”E.Lee“，”year“：”1987“，”unstructured“：”Lee，E.，Messerschmitt，D.：同步数据流。IEEE\u00a075（9），1235\u20131245（1987）“，”日志标题“：”IEEE“}，{”issue“：”12“，”key“：”12_CR4“，”doi-asserted-by“：”publisher“，”first page“：“1879”，“doi”：“10.1109\/5.48830”，“volume”：“77”，“author”：“K.Parhi”，“year”：“1989”，“unstructured”：“Parhi，K.：并发处理器的算法转换技术。IEEE\u00a077（12），1879\u20131895（1989）”，“journal-title”：“”《IEEE会议录》，｛“key”：“12_CR5”，“volume title”：“嵌入式多处理器：调度与同步”，“author”：“S.Sriram”，“year”：“2000”，“nonstructured”：“Sriram，S.，Bhattacharyya，S.S.：嵌入式多处理器：调度与同步，1st edn.Marcel Dekker，Inc.，New York（2000）”，“edition”：“1”｝，｛“key”：“12_CR6”，“series-title：“LNCS”，“doi-asserted-by”：“publisher”，“first page”：“252”，“doi”：“10.1007\/3-540-10699-5_102”，“volume-title”：“编程概念的形式化”，“author”：“J.Brock”，“year”：“1981”，“unstructured”：“Brock，J.，Ackerman，W.：场景：非确定性计算模型。在：D\u00edaz，J.，Ramos，I.（eds.）编程概念的形式化。LNCS，第u00a0107卷，第252\u2013259页。Springer，Heidelberg（1981）“}，{“key”：“12_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Leiserson，C.，Rose，F.，Saxe，J.：通过重定时优化同步电路。见：第三届加州理工学院超大规模集成会议，第87\u2013116页。计算机科学出版社，Incorporated（1983）“，”DOI“：”10.1007\/978-3642-95432-0_7“}，{”issue“：”1“，”key“：”12_CR8“，”DOI-asserted-by“：”publisher“，”first page“：“5”，“DOI”：“10.1007\/BF01759032”，“volume”：“6”，“author”：“C.Leiserson”，“year”：“1991”，“unstructured”：“Leisersson，C.，Saxe，J.：Retiming synchronous circuit.Algorithmica\u00a06（1），2013年5月35日（1991年）“，”journal-title“：”Algorithmica“}，{”key“：”12_CR9“，”doi-asserted-by“：”publisher“，”first page“：“1259”，”doi“：”10.1109\/71.640018“，”volume“：‘8’，”author“：”L.F.Chao“，”year“：”unstructured“：”Chao，L.F.，Sha，E.H.M.：通过重定时和展开调度数据流图。IEEE Trans.Parallel Distribute.Syst.\u00a08，1259\u20131267（1997）“，“”journal-title“：”IEEE Trans。平行配送系统。“}，{”issue“：”04“，”key“：”12_CR10“，”doi-asserted-by“：”publisher“，”first-page“：”507“，”doi“：”10.1017\/S1062798710000281“，”volume“：“18”，”author“：”M.Broy“，”year“：”2010“，”unstructured“：”Broy，M.：交互分布式系统中的关联时间和因果关系。European Review \u00a018（04），507\u2013563（2010）“，”journal-title“：”Europeal Review“}，{“密钥”：“12_CR11“，“非结构化”：“Schwitzer，W.，Popa，V.，Chessa，D.，Weissenberger，F.：Cadmos-并发架构工具包（2012），\n\n http://code.google.com/p/Cadmos\//\n\n（2012年4月3日访问）”}，{“key”：“12_CR12”，“非结构性”：“LP_Solve开发人员：LP_SolveWebsite（2012），\n\n http:\/\/lpsolve.sourceforge.net\/\n\n（2012年4月3日访问）“}，{”key“：”12_CR13“，”unstructured“：”Feilkas，M.、Fleischmann，A.、H\u00f6lzl，F.、Pfaller，C.、Scheitemann，K.、Spichkova，M.和Trachtenherz，D.：汽车软件开发的自上而下方法论。技术报告，Technische University\u00e4t M\u00fcnchen（2009）“}]，“container-title”：[“工业关键系统的形式化方法”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3642-32469-7_12.pdf”，“content-type”：“未指定”，“内容版本”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,5,4]，”date-time“：”2021-05-04T12:03:42Z“，”timestamp“：1620129822000}，”score“：1，”resource“：{primary”：{“URL”：“http://\/link.springer.com\/10007\/978-3642-32469-7_12”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2012]]}，“ISBN”：[“9783642324680”，“9783642324697“]，”references-count“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-32469-7_12“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date parts“：[[2012]]}}}