{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,10,3]]，“日期时间”：“2023-10-03T19:18:07Z”，“时间戳”：1696360687900}，“出版商位置”：“柏林，海德堡”，“参考计数”：45，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783662476659”，“类型”：“打印”}，{“值”：“9783662476666”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springernature.com\/gp\researters\/text-and-data-mining”}，{“tart”：[2015]1,1,1]]，“日期时间”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\\/www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2015]}”，“DOI”：“10.1007\/978-3-662-47666-6_2“，”类型“：“book-chapter”，“created”：{“date-parts”：[[2015,6,19]]，“date-time”：“2015-06-19T07:46:47Z”，“timestamp”：1434700007000}，“page”：“11-27”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：7，“title”：[“分布式控制器的自动合成”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Anca”，“family”：“Muscholl”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2015,6,20]]}，“reference”：[{“key”：“2_CR1”，“doi-asserted-by”：”crossref“，“unstructured”：“Abdulla，P.，Aronis，S.，Jonsson，B.，Sagonas，K.：最优动态部分降阶。摘自：POPL 2014，pp.373\u2013384。ACM（2014）“，“DOI”：“10.1145\/2578855.2535845”}，{“key”：“2_CR2”，“unstructured”：“Akshay，S.，Dinca，I.，Genest，B.，Stefanescu，A.：实现现实异步自动机。摘自：FSTTCS 2013，LIPIcs，pp.213\u2013224。Schloss Dagstuhl-Leibniz Zentrum fuer Informatik（2013）“｝，｛“键”：“2_CR3”，“非结构化”：“Alur，R.，McMillan，K.，Peled，D.：并发对象正确性条件的模型检查。In：LICS 1996，pp.219\u2013228。IEEE（1996）“｝，｛“key”：“2_CR4”，“nonstructured”：“Armstrong，J.：Programming Erlang:Software for a Concurrent World。Pragmatic Bookshelf（2007）”｝，｛“key”：“2_CR5”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“first page”：“410”，“doi”：“10.1007\/978-3-642-00596-1_29”，“volume title”：“软件科学和计算结构基础”，“作者”：“B Bollig”，“年份”：“2009年”，“非结构化”：“Bollig，B.，Grindei，M.-L.，Habermehl，P.：并发递归程序的可实现性。收录：de Alfaro，L.（编辑）FOSSACS 2009。LNCS，第5504卷，第410\u2013424页。Springer，Heidelberg（2009）“}，{”key“：”2_CR6“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“951”，“doi”：“10.1007\/978-3642-39799-8_68”，“volume-title”：“计算机辅助验证”，“author”：“P\u010cern\u00fd”，“year”：“2013”，“unstructured”：“\u010cern\u00fd，P.，Henzinger，T.A.，Radhakrishna，A.，Ryzhyk，L.，Tarrach，T.：通过语义表示转换实现并发的高效合成。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第951\u2013967页。Springer，Heidelberg（2013）“}，{“key”：“2_CR7”，“unstructured”：“Church，A.：逻辑、算术和自动机。In:Proceedings of the International Congress of Mathematicians（1962）”}，}“key:”2_CR8“，”doi-asserted-by“：”publisher“，”first page“：”159“，“doi”：“10.1006\/inco.1993.1052”，“volume”：”106“author”：“R Cori”，“year”：“1993”，“非结构化”：“Cori，R.，M\u00e9tiver，Y.，Zielonka，W.：异步映射和异步细胞自动机。信息与计算106，159\u2013202（1993）“，”journal-title“：”Information and Computation“}，{“key”：“2_CR9”，“doi-asserted-by”：“publisher”，“first-page”：“24”，“doi”：“10.1007\/978-3642-35179-2_2”，“volume”：”6“，”author“：”P Darondeau“，”year“：”2012“，”unstructured“：”Darondeau，P.，Ricker，L.：离散事件系统的分布式控制：第一步。《关于Petri网和其他并发模型的事务》6，24\u201345（2012），“journal-title”：“关于Petri网络和其他并发模式的事务”}，{“key”：“2_CR10”，“volume-title“：“痕迹之书”，“year”：“1995”，“unstructured”：“Diekert，V.，Rozenberg，G.（eds.）：痕迹之书。世界科学，新加坡（1995）”}、{“issue”：“4”，“key“：”2_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”315“，”doi“：”10.1007\/BF00264611“，”volume“：“27”，”author“：”A Ehrenfeucht“，”year“：”1989“，”unstructured“：”Ehrenfaucht，A.，Rozenberg，G.：部分（集）2-结构：第一部分和第二部分。《信息学报》27（4），315\u2013368（1989）“，“期刊标题”：“信息学报”}，{“key”：“2_CR12”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《52》，“doi”：“10.1007\/978-3-540-70545-1_8”，“volume-title”：《计算机辅助验证》，“author”：“A Farzan”，“year”：“2008”，“unstructured”：“Farzan，A.，Madhusudan，P.：监控并发程序中的原子性。收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，第5123卷，第52页\u201365。Springer，Heidelberg（2008）“}，{“key”：“2_CR13”，“unstructured”：“Finkbeiner，B.，Schewe，S.：均匀分布合成。摘自：LICS 2005，pp.321\u2013330。IEEE（2005）“}，{”key“：”2_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“275”，“doi”：“10.1007\/978-3-540-30538-5_23”，“volume-title”：“FSTTCS 2004:软件技术和理论计算机科学基础”，“author”：“P Gastin”，“year”：“2004”，“unstructured”：“Gastin，P.，Lerman，B.，Zeitoun，M.：具有因果记忆的分布式游戏对于串联系统是可判定的。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，第3328卷，第275\u2013286页。Springer，Heidelberg（2004）“}，{”issue“：”2“，”key“：”2_CR15“，”doi-asserted-by“：”publisher“，”first page“：“9”，“doi”：“10.1145\/2480759.2480761”，“volume”：“14”，“author”：“P Gastin”，“year”：“2013”，“unstructured”：“Gastin，P.，Sznajder，N.：异步分布式系统的公平综合。ACM Transactions on Computational Logic 14（2），9（2013）”，“journal-title“：”ACM Transactions on Computational Logic“}，{“key”：“2_CR16”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“52”，“doi”：“10.1007\/978-3642-14162-1_5”，“volume-title”：”Automata，Languages and Programming“，”author“：”B Genet“，”year“：“2010”，“unstructured”：“”Genest，B.，Gimbert，H.，Muscholl，A.，Walukiewicz，I.：确定性异步自动机的最佳Zielonka型构造。摘自：Abramsky，S.、Gavoille，C.、Kirchner，C.、Meyer auf der Heide，F.、Spirakis，P.G.（编辑）ICALP 2010。LNCS，第6199卷，第52页\u201363。Springer，Heidelberg（2010）“}，{”key“：”2_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“275”，”doi“：”10.1007\/978-3642-39212-2_26“，”volume-title“：“自动化、语言和编程”，”author“：”B Genet“，”year“：”2013“，”unstructured“：”Genest，B.，Gimbert，H.，Muscholl，A.，Walukiewicz，I.：基于树结构的异步游戏。收录人：Fomin，F.V.，Freivalds，R.，Kwiatkowska，M.，Peleg，D.（编辑）ICALP 2013，第二部分。LNCS，第7966卷，第275\u2013286页。Springer，Heidelberg（2013）“}，{”issue“：“6”，”key“：“2_CR18”，”doi-asserted-by“：”publisher“，”first page“：”920“，”doi“：”10.1016\/j.ic.2006.01.05“，”volume“：。计算。204（6），920\u2013956（2006）“，“新闻标题”：“信息计算。“}，{”key“：”2_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”565“，”doi“：”10.1007\/11787006_48“，”volume-title“：“自动化、语言和编程”，”author“：”B Genet“，”year“：”2006“，”unstructured“：”Genest，B.，Muscholl，A.：构建指数大小的确定性Zielonka自动机。收录：Bugliesi，M.、Preneel，B.、Sassone，V.、Wegener，I.（编辑）ICALP 2006。LNCS，第4052卷，第565\u2013576页。Springer，Heidelberg（2006）“｝，｛“issue”：“2”，“key”：“2_CR20”，“doi asserted by”：“publisher”，“first page”：“149”，“doi”：“10.1007\/BF01383879”，“volume”：“2”，“author”：“P Godefroid”，“year”：“1993”，“nonstructured”：“Godefrodid，P.，Wolper，P.：使用偏序来有效验证死锁自由度和安全性。系统设计中的形式方法2（2），149\u2013164（1993）“，“journal-title”：“系统设计的形式方法”}，{“issue”：“6”，“key”：“2_CR21”，“doi-asserted-by”：“publisher”，“first-page”：“1119”，“doi”：“10.1016\/j.jcss.2014.04.005”，“volume”：”80“author”：“j Gutierrez”，“year”：“2014”，“unstructured”：“Gutierrez，J.，Winskel，G.：关于具有无限获胜集的事件结构上并发博弈的确定性。J.计算。系统。科学。80（6），1119\u20131137（2014）“，“期刊标题”：《计算杂志》。系统。科学。“}，{”issue“：“1”，”key“：“2_CR22”，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“：”10.1016\/j.ic.2004.08.004“，”volume“：‘202’，”author“：”JG Henriksen“，”year“：”2005“，”unstructured“：”Henrixsen，j.G.，Mukund，M.，Kumar，K.N.，Sohoni，M.、Thiagrajan，P.S.：正规MSC语言理论。Inf.Compute。202（1），1\u201338（2005）“，“新闻标题”：“Inf。计算。“}，{”key“：”2_CR23“，”doi-asserted-by“：”publisher“，”first page“：“109”，“doi”：“10.1016\/j.tcs.2013.07.015”，“volume”：“503”，“author”：“S Krishna”，“year”：“2013”，“unstructured”：“Krishna，S.，Muscholl，A.：具有非循环通信结构的Zielonka自动机的二次结构。理论计算机科学503，109\u2013114（2013）”，“journal-title“：“理论计算机科学”}，{“key”：“2_CR24”，“unstructured”：“Kupferman，O.，Vardi，M.Y.：综合分布式系统。收录：LICS 2001，第389\u2013398页。IEEE（2001）“}，{”key“：”2_CR25“，”doi-asserted-by“：”crossref“，”unstructured“：”La Torre，S.，Madhusudan，P.，Parlato，G.：一类强大的上下文敏感语言。摘自：LICS 2007，第161\u2013170页。IEEE（2007）“，“DOI”：“10.1109\/LICS.2007.9”}，{“key”：“2_CR26”，“unstructured”：“La Torre，S.，Parlato，G.：Scope-bounded multilock pushdown systems:fixed-point，sequentialization，and tree-width。In:FSTTCS 2012，LIPIcs，pp.173\u2013184。Schloss Dagstuhl-Leibniz Zentrum fuer Informatik（2012）“}，{“问题”：“7”，“密钥”：“2_CR27”，“首页”：“558”，“卷”：“21”，“作者”：“L Lamport”，“年份”：“1978”，“非结构化”：“Lamport，L.：分布式系统中的时间、时钟和事件顺序。操作系统21（7），558\u2013565（1978）”，“日志标题”：“操作系统”}2_CR28“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”396“，”doi“：”10.1007\/3-540-48224-5_33“，”volume-title“：“自动化、语言和编程”，”author“：”P Madhusudan“，”year“：”2001“，”unstructured“：”Madhusduan，P.，Thiagarajan，P.S.：局部规范的分布式控制器综合。收录人：Orejas，F.、Spirakis，P.G.、van Leeuwen，J.（编辑）ICALP 2001。LNCS，第2076卷，第396\u2013407页。Springer，Heidelberg（2001）“}，{”key“：”2_CR29“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“201”，”doi“：”10.1007\/1159016_16“，”volume-title“：“FSTTCS 2005:软件技术和理论计算机科学基础”，“author”：“P Madhusudan”，“year”：“2005”，“unstructured”：“”Madhusudan，P.，Thiagarajan，P.S.，Yang，S.：连接通信过程的MSO理论。收录：Sarukkai，S.，Sen，S.（编辑）FSTTCS 2005。LNCS，第3821卷，第201\u2013212页。Springer，Heidelberg（2005）“}，{“key”：“2_CR30”，“unstructured”：“Mattern，F.：分布式系统的虚拟时间和全局状态。摘自：并行和分布式算法国际研讨会，第215\u2013226页。Elsevier（1989）“}，{”key“：”2_CR31“，”doi-asserted-by“：”crossref“，”unstructured“：”Mazurkiewicz，A.：并发程序方案及其解释。DAIMI Rep.PB 78，Aarhus University，Aarbus（1977）“，”doi“：”10.7146\/dpb.v6i78.7691“}”，{“issue”：“2_20133”，“key”：“d_CR32”，“doi-assert-by”：“publisher”，“first-page”：“200”，“doi“：”10.1016\/j.tcs.2006.01.016“，“volume”：“358”，“author”：“P-A Melli\u00e8s”，“year”：“2006”，“unstructured”：“Melli\u 00e8S，P.-A.：异步游戏2：纯真的并发。TCS 358（2_20133），200\u2013228（2006）“，”journal-title“：”TCS“}，{”issue“：”3“，”key“：”2_CR33“，”doi-asserted-by“：”publisher“，”first-page“：”137“，“doi”：“10.1007 \/s004460050031”，“volume”：“10”，“author”：“M Mukund”，“year”：“1997”，“unstructured”：“Mukund，M.，Sohoni，M.A.：跟踪分布式中的最新八卦系统分布式计算10（3），137\u2013148（1997）“，“journal-title”：“分布式计算”}，{“key”：“2_CR34”，“unstructured”：“Muscholl，A.，Walukiewicz，I.：非循环体系结构的分布式合成。摘自：FSTTCS 2014，LIPIcs，pp.639\u2013651。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik（2014）“}，{“问题”：“4”，“键”：“2_CR35”，“doi-asserted-by”：“出版商”，“首页”：“76”，“doi”：“10.1145 \/2591013”，“卷”：“57”，“作者”：“M Odersky”，“年份”：“2014”，“非结构化”：“Oderski，M.，Rompf，T.：用Scala统一函数式和面向对象编程。ACM通讯57（4），76\u201386（2014）“，“journal-title”：“ACM的通信”}，{“key”：“2_CR36”，“unstructured”：“Odersky，M.，Spoon，L.，Venners，B.：Scala.Artima（2010）中的编程”}、{“key”：《2_CR37》，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：”409“，“doi”：“10.1007 \/3-56922-7_34”，“volume-title“：“计算机辅助验证”，“作者”：“D Peled”，“年份”：“1993年”，“非结构化”：“Peled，D：从一开始，一对所有：使用代表进行模型检查。收录：Courcoubetis，C.（编辑）CAV 1993。LNCS，第697卷，第409\u2013423页。Springer，Heidelberg（1993）“}，{“key”：“2_CR38”，“doi-asserted-by”：“crossref”，“unstructured”：“Peterson，G.L.，Reif，J.H.：多人交替。收录：FOCS 1979，第348\u2013363页。IEEE（1979）“，“DOI”：“10.1109\/SFCS.1979.25”}，{“key”：“2_CR39”，“unstructured”：“Pnueli，A.，Rosner，R.：分布式反应系统很难合成。In:FOCS 1990。IEEE（1990）“}，{”key“：”2_CR40“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“93”，“doi”：“10.1007\/978-3-540-31980-1_7”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“S Qadeer”，“year”：“2005”，“unstructured”：“Qadeer，S.，Rehof，J.：并发软件的上下文约束模型检查。收录：Halbwachs，N.，Zuck，L.D.（编辑）TACAS 2005。LNCS，第3440卷，第93页\u2013107。Springer，Heidelberg（2005）“}，{”key“：”2_CR41“，”doi-asserted-by“：”crossref“，”doi“：”10.1090\/cbms\/013“，”volume-title“：”无限对象上的自动机和Church\u2019s问题“，”author“：”MO Rabin“，“year”：“1972”，“unstructured”：“Rabin，M.O:”无限对象和Church \u2019 s问题上的自然主义。美国数学学会，普罗维登斯（1972）“},{”issue“：”2“，”key“：”2_CR42“，”doi-asserted-by“：”publisher“，”first-page“：”81“，”doi“：”10.1109\/5.21072“，“volume”：“77”，“author”：“P Ramage”，“year”：“1989”，“unstructured”：“Ramage，P.，Wonham，W.：离散事件系统的控制。IEEE会议记录77（2），81\u201398（1989）“，“journal-title”：“IEEE会议录”}，{“key”：“2_CR43”，“doi-asserted-by”：“crossref”，“unstructured”：“Sen，K.，Vardhan，A.，Agha，G.，Rosu，G.：多线程应用程序的分散运行时分析。In:国际并行与分布式处理研讨会（IPDPS 2006）。IEEE（2006）”，“DOI“：”10.1109\/IPDPS.2006.1639591“}，{“key”：“2_CR44”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”491“，“DOI”：“10.1007\/3-540-53863-1_36”，“volume-title”：《1990年Petri网进展》，“author”：“A Valmari”，“year”：“1991”，“unstructured”：“Valmari，A.：用于减少状态空间生成的Stubborn集合。在：Rozenberg，G.（编辑）《培养基网络的进展》1990。LNCS，第483卷，第491\u2013515页。Springer，Heidelberg（1991）“}，{”key“：”2_CR45“，”doi-asserted-by“：”crossref“，”first page“：“99”，“doi”：“10.1051\/ita\/1987210200991”，“volume”：“21”，“author”：“W Zielonka”，“year”：“1987”，“unstructured”：“Zielonca，W.：有限异步自动机注释。RAIRIRO-Theoretical Informatics and Applications 21，99\u2013135（1987）”，“journal-title”：“”RAIRO-Theory Informatics and Applications“}]，”container-title“：[”Automata，Languages，and Programming“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3662-47666-6_2“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}”，“存放”：{“日期-部分”：[[2023,2,21]]，“日期-时间”：“2023-02-21T02:07:16Z”，“时间戳”：1676945236000}，“分数”：1，“资源”：{“主要”：{:“URL”：“https:\/\/link.springer.com\/10.1007\/978-3662-4766-6_2”}，ISBN“：[”9783662476659“，”978366 2476666“]，”references-count“：45，”URL“：”http://\/dx.doi.org\/10.1007\/978-3662-47666-6_2“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，”type“:”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：【】，”published“：{“date-parts”：【2015】】}，“断言”：[{“value”：“2015年6月20日”，“order”：1，“name”：“first_online”，“label”：“第一联机“，”组“：{“name”：“ChapterHistory”，“label”：“章节历史”}}]}}