{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:35Z”，“时间戳”：1725494315401}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 755951“}，{”类型“：“electronic”，“value”：“9783540755968”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：｛“日期部分”：[[2007]]｝，“DOI”：“10.1007\/978-3-540-75596-8_27”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2007,11,3]]，“日期时间”：“2007-11-03T14:03:37Z”，“时间戳”：1194098617000｝，“页面”：“378-393”，“来源”：“Crossref”，“由计数引用”：0，“标题”：[“量化不一致：消息序列图中的顺序差异”]，“前缀”：“10.1007”，“作者”：[{“given”：“Edith”，“family”：“Elkind”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Blaise”，“家族”：“Genest”，“序列”：“additional”，“从属关系”：[]}，}“给定的”：“Doron”，，“隶属关系”：[]}]，“成员”：“297”，“reference”：[{“issue”：“11”，“key”：“27_CR1”，“doi-asserted-by”：“publisher”，”first page“：“832”，”doi“：“10.1145\/182.358434”，”volume“：”26“，”author“：”J.F.Allen“，”year“1983”，“unstructured”：“Allen，J.F.：维护时间间隔的知识。ACM\u00a026（11），832\u2013843（1983）”，“journal-title”：“ACM的通信”}，{“键”：“27_CR2”，“首页”：“70”，“卷”：“17”，“作者”：“R.Alur”，“年份”：“1996”，“非结构化”：“Alur，R.，Holzmann，G.，Peled，D.：消息序列图分析器。Software\u2014 Concepts and Tools\u00a017，70\u201377（1996）”，“日记标题”：“Software_2014 Confaces and Tools”}，{“issue”：“1”，“key”：“27-CR3”，“doi-asserted-by”：“publisher”，“首页”：“97”，“DOI”：“10.1016\/j.tcs.2004.09.034”，“卷”：“331”，“作者”：“R.Alur”，“年份”：“2005”，“非结构化”：“Alur，R.，Etessami，K.，Yannakakakis，M.：MSC图的可实现性和验证。理论计算机科学\u00a0331（1），97\u2013114（2005）”，“期刊标题”：“理论计算机科学”}，{“关键字”：“27_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“259”，“doi”：“10.1007”，《volume-title》：“TACAS 1997”，“author”：“H.Ben-Abdallah”，“year”：“1997”，《unstructured》：“Ben-Abdiallah，H.，Leue，S.：消息序列图中进程分歧和非逻辑选择的句法检测。摘自：Brinksma，E.（ed.）TACAS 1997年。LNCS，第u00a01217卷，第259\u2013274页。Springer，Heidelberg（1997）“}，{“问题”：“2”，“关键”：“27_CR5”，“doi-asserted-by”：“出版商”，“首页”：“323”，“doi”：“10.1145\/322374.32280”，“卷”：“30”，“作者”：“D.Brand”，“年份”：“1983”，“非结构化”：“Brand，D.，Zafiropulo，P.：关于通信Finite-State Machines。ACM\u00a030（2），323\u2013342（1983）“，”日志标题“：”ACM杂志“}，{”issue“：”1“，”key“：”27_CR6“，”doi-asserted-by“：”publisher“，”first page“：“45”，“doi”：“10.1023\/A:1011227529550”，“volume”：“19”，“author”：“W.Damm”，“year”：“2001”，“unstructured”：“Damm，W.，Harel，D.：LSCs:Breathing Life into Message Sequence Charts.Formal Methods in System Design \u00a019（1），45\u201380（2001）”，“日志标题”：“系统设计中的形式方法“}，{“key”：“27_CR7”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《TACAS 2007》，“author”：“E.Elkind”，“year”：“2007”，“unstructured”：“Elkind，E.，Genest，B.，Peled，D.：检测消息序列图集合中的种族。摘自：Grumberg，O.，Huth，M.（eds.）TACAS，2007。LNCS，vol.\u00a04424，Springer，Heidelberg（2007）“}，{“key”：“27_CR8”，“unstructured”：“Elkind，E.，Genest，B.，Peled，D.，Spoletini，P.：量化不一致：消息序列图中的顺序差异，可从以下网址获得：\n\n http://perso.crans.org//~Genest\/EGPS07.pdf”}doi-asserted-by“：”crossref“，”unstructured“：”Floyd，R.W.：Algorithm 97（最短路径）。ACM 356的通信（1962）“，”DOI“：”10.1145\/367766.368168“}，{“key”：“27_CR10”，“DOI-asserted-by”：“crossref”，“DOI”：“10.1007\/978-3642-19029-2”，“volume-title”：“来，让2019s玩：使用LSC和Play-Engine的基于场景的编程”，“author”：“D.Harel”，“年份”：“2003”，“非结构化”：“Harel，D.，Marelly，R.：来吧，让\u2019播放：使用LSCs和播放引擎的基于场景的编程。Springer，Heidelberg（2003）“}，{“key”：“27_CR11”，“unstructured”：“ITU Z120标准建议（1996）”}，}“issue”：“5”，“key“：”27_CR12“，”doi-asserted-by“：”publisher“，”first page“：“591”，”doi“：”10.1145\/876638.876639“，”volume“：‘50’，”author“：”A.Krokhin“，”year“：”2003“，”unstructure“：”Krokhin，A.，Jeavons，P.，Jonsson，P.：关于时间关系的推理：Allen\u2019s区间代数的可牵引子代数。J.ACM\u00a050（5），591\u2013640（2003）“，”journal-title“：”J.ACM“}，{“key”：“27_CR13”，“doi-asserted-by”：“publisher”，“first-page:”160“，”doi“：”10.1016\/J.ic.2003.10.002“，”volume“：”189“，”author“：”M.Lohrey“，”year“：”2004“，”unstructured“：”Lohrey，M.，Muscholl，A.：有界MSC通信。信息与计算u00a0189，160\u2013181（2004）“，”journal-title“：“信息与计算”}，{“key”：“27_CR14”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“首页”：“81”，“doi”：“10.1007\/3-540-48340-3_8”，“volume-title”：《MFCS 1999》，“author”：“A.Muscholl”，“year”：“1999”，“unstructured”：“Muscholl，A.，Peled，D.：Mazurkiewicz痕迹上的消息序列图和决策问题。收录：Kuty\u0142owski，M.，Wierzbicki，T.，Pacholski，L.（编辑）MFCS 1999。LNCS，第u00a01672卷，第81\u201391页。Springer，Heidelberg（1999）“｝，｛“key”：“27_CR15”，“doi asserted by”：“crossref”，“unstructured”：“Peled，D.：消息序列图的规范和验证。In：FORTE 2000，IFIP CP 183，pp.\u00a0139\u2013154（2000）”，“doi”：“10.1007\/978-0-387-35533-7_9”｝，｛“issue”：“1”，“key”：“27_CR16”，“doi asserted by”：“publisher”，“first page”：“11”，“doi”：“10.1145\/32105.321107“，“volume”：“9”，“author”：“S.Warshall”，“year”：“1962”，“unstructured”：“Warshall，S.：布尔矩阵的一个定理。ACM\u00a09（1），11\u201312（1962）“，”Journal-title“：”Journal of the ACM“}]，”container-title”：[“计算机科学课堂讲稿”，“验证和分析自动化技术”]，”original-title:[]，“language”：“en”，“link”：[{“URL”：“http://\link.springer.com/content\/pdf\/10007\/978-3-540-75596-8_27”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,19]]，”date-time“：”2019-05-19T14:51:09Z“，”timestamp“：1558277469000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.sprimary.com\/10007\/978-3-540-75596-8_27”}}，“副标题”：[]，“short title“：[]，”issued“：{”date-parts“：[[2007]]}，“ISBN”：[“9783540755951”，“9783510755968”]，“references-count”：16，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_27”，“relationship”：{}，“ISSN”：【“0302-9743”，“1611-3349”】，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“electronic”，“值”：“1611-349”}]，“主题”：[]，“发布”：{“日期部分”：[[2007]]}}