{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T11:46:36Z”，“时间戳”：1725536796681}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 642032745“}，{”类型“：“electronic”，“value”：“9783642032752”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2009]]}，“DOI”：“10.1007\/978-3642-03275-2_32”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2009，9，1]]，“date-time”：“2009-09-01T02:25:46Z”，“timestamp”：1251771946000}，”page“：”321-330“，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“可视化多线程程序中的潜在死锁”]，“前缀“：”10.1007“，”作者“：[{“given”：“Byung-Chul”，“family”：“Kim”，“sequence”：“first”，“affiliation”：[]}：[]}]，“成员”：“297”，“引用”：[{“键”：“32_CR1”，“doi-asserted-by”：“publisher”，”first page”：“51”，“doi”：“10.1145\/1147403.1147413”，“volume-title”：“2006年并行和分布式系统研讨会：测试与调试（PADTAD）”，“author”：“A.Agarwal”，“year”：“06”，“unstructured”：“Agarwal，A.，Garg，V.K.：带有锁、信号量和条件变量的程序潜在死锁的运行时检测。摘自：2006年并行和分布式系统研讨会：测试和调试（PADTAD），缅因州波特兰，第51\u201360页。ACM，New York（2006）“}，{”key“：”32_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“191”，”doi“：”10.1007\/11678779_14“，”volume-title“：“硬件和软件，验证和测试”，”author“：”A.Agarwal“，”year“：”2006“，”unstructured“：”Agarwal，A.，Wang，L.，Stoller，S.D.：《利用静态分析和运行时监控检测潜在死锁》，收录于：Ur，S.，Bin，E.，Wolfsthal，Y.（编辑）HVC 2005。LNCS，第u00a03875卷，第191\u2013207页。Springer，Heidelberg（2006）“}，{”key“：”32_CR3“，”首页“：”541“，”volume-title“：”第31届国际计算机软件与应用大会（COMPSAC）“，”author“：”C.Artho“，”year“：”2007“，”unstructured“：”Artho，C.，Havelund，K.，Honiden，S.：并发程序执行的可视化。收录于：第31届国际计算机软件和应用年会（COMPSAC），第u00a02卷，第541\u2013546页。IEEE，Los Alamitos（2007）“}，{”key“：”32_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“208”，”doi“：”10.1007\/11678779_15“，”volume-title“：“硬件和软件，验证和测试”，”author“：”S.Bensalem“，”year“：”2006“，”unstructured“：”Bensalem，S.，Havelund，K.：多线程程序的动态死锁分析。收录：Ur，S.，Bin，E.，Wolfsthal，Y.（编辑）HVC 2005。LNCS，卷\u00a03875，第208\u2013223页。Springer，Heidelberg（2006）“}，{“key”：“32_CR5”，“unstructured”：“Birrell，D.A.：线程编程简介。技术报告SR-35，数字设备公司（1989年1月）”}，}，“issue”：“1”，“key“：”32_CR6“，“doi-asserted-by”：“publisher”，“first page”：”1“，“doi”：“10.1145\/958795.958796”，“volume”:“3”，“author”：“S.Carr”，“year”：“2003”，“非结构化”：“Carr，S.，Mayo，J.，Shene，C.-K.：线程导师：多线程编程的教学工具。《计算机教育资源杂志》（JERIC）\u00a03（1），1\u201330（2003）“，“期刊标题”：“计算机教育资源期刊”}，{“卷时间”：“软件可视化：可视化软件的结构、行为和演化”，“年份”：“2007”，“作者”：“S.Diehl”，“关键字”：“32_CR7”，“非结构化”：“Diehl，S.：《软件可视化：可视化软件的结构、行为和演化》。Springer，Heidelberg（2007）“}，{”key“：“32_CR8”，”first page“：”183“，”volume-title“：”SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging“，”author“：”C.J.Fidge“，“year”：“1988”，“unstructured”：“Fidge，C.J.：Parallel DebuggingPartial Orders for Parallel。摘自：SIGPLAN-SIGOPS Workhop on Parallel and Distributed Debugging，第183\u2013194页。ACM Press，New York（1988）“}，{”issue“：”7“，”key“：”32_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”66“，”doi“：”10.1145\/103559.1035623“，”volume“：“2”，”author“：”S.K.Gatlin“，”year“：”2004“，”unstructured“：”Gatlin，S.K.：调试并发性的试验和磨难。Queue\u00a02（7），66\u201373（2004）“，”journal-title“：“队列”}，{“密钥”：“32_CR10”，“第一页“：”237“，”volume-title“：”软件可视化：作为多媒体体验的编程“，”author“：”E.Kraemer“，”year“：”1998“，”unstructured“：”Kraeme，E.：可视化并发程序。摘自：《软件可视化：作为多媒体体验的编程》，第237\u2013258页。麻省理工学院出版社，剑桥（1998）“}，{”issue“：”7“，”key“：”32_CR11“，”doi-asserted-by“：”publisher“，”first page“：“558”，”doi“：”10.1145“/359545.359563”，“volume”：“21”，“author”：“L.Lamport”，“year”：“1978”，“unstructured”：“Lamport，L.：时间、时钟和分布式系统中事件的排序。ACM\u00a021（7），558\u2013565（1978））“，”journal-title“：”ACM的交流“}，{“key”：“32_CR12”，“first page”：”201“，“volume-title”：“第二届Java编程原理与实践国际会议（PPPJ）”，“author”：“H.Leroux”，“year”：“2003”，“unstructured”：“Leroux，H.，Requile-Romanczuk，A.，Mingins，C.：JACOT:一种动态可视化并发Java程序执行的工具。在：第二届国际Java编程原理与实践会议（PPPJ），爱尔兰基尔肯尼市，第201\u2013206页。ACM，New York（2003）“}，{”issue“：”4“，”key“：”32_CR13“，”doi-asserted-by“：”publisher“，”first page“：“593”，“doi”：“10.1145\/76894.76897”，“volume”：“21”，“author”：“C.E.McDowell”，“year”：“1989”，“unstructured”：“McDowel，C.E.，Helmbold，D.P.:Debugging Concurrent Programs.Computing Surveys \u00a021（4），593\u2013622（1989）”，“journal-title”：“计算调查”}，{“key”：“32_CR14”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《163》，“doi”：“10.1007\/3-540-45875-1_13”，“volume-title”：《软件可视化》，“author”：“K.Mehner”，“year”：“2002”，“unstructured”：“Mehner，K.：JaVis:基于UML的并发Java程序可视化和调试环境。收录：Diehl，S.（编辑）Dagstuhl Seminar 2001。LNCS，第u00a02269卷，第163\u2013175页。Springer，Heidelberg（2002）“}，{”issue“：”4“，”key“：”32_CR15“，”doi-asserted-by“：”publisher“，”first page“：“20”，“doi”：“10.1109\/MC.2004.1297297”，“volume”：“37”，“author”：“B.Sanden”，“year”：“2004”，“unstructured”：“Sanden，B.：使用Java线程。Computer\u00a037（4），20\u201327（2004）”，“journal-title”：“Computer”}，{“key”：“32_CR16”，“非结构化”：“Zhao，Q.A.，Stasko，J.T.：可视化基于线程的并行程序的执行。技术报告GIT-GVU-95-01，乔治理工学院计算学院（1995年1月）“}]，“container-title”：[“计算机科学讲义”，“并行计算技术”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-03275-2_32”，“content-type”：“未指定”，“内容-版本”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,3,9]]，”date-time“：”2019-03-09T11:41:47Z“，”timestamp“：1552131707000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\link.springer.com\/10007\/978-3642-03275-2_32”}}，“副标题”：[]，“短标题”：[]，“发布”：日期部分“：[2009]]}，”ISBN“：[”9783642032745“，”9783642032752“]，”references-count“：16，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-642-03275-2_32“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：“1611-3399”}]，“subject”：[]，“published”：{“date-pa”rts“：[2009]]}}}