{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:07:00Z”，“时间戳”：1725664020076}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 540582014“}，{”类型“：”电子“，“value”：“9783540485667”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-58201-0_63“，”type“：”book-chapter“，”created“：{”date-ports“：[2012,2,26]]，”date-time“：”2012-02-26T15:32:16Z“，”timestamp“：1330270336000}，”页面“：”130-141“，”源“：”Crossref“，“is-referenced-by-count”：6，“title”：[“Determinating asynchronous automata”]，“prefix”：“10.1007”，“author”：[{“given”：“Nils”，“family”：“Klarlund”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Madhavan”，“家族”：“Mukund”，“序列”：“additional”，“从属”：[]}，：[]}]，“成员”：“297”，“published-online”：{“date-parts”：[[2005,5,29]]}，“reference”：[{“key”：“11_CR1”，“doi-asserted-by”：“crossref”，”first page“：”159“，”doi“：”10.1006\/inco.1993.1052“，”volume“：“106”，“author”：“R.Cori”，“year”：“1993”，“unstructured”：“R.Cori，Y.Metivier，W.Zielonka：异步映射和异步细胞自动机，Inf.and Compute.，106（1993）159\u2013202.“，”journal-title“：”信息与计算。“}，{”键“：”11_CR2“，”首页“：”617“，”卷“：”665“，”作者“：”V.Diekert“，”年份“：”1993“，”非结构化“：”V·Diekert，A.Muscholl:无限记录道的确定性异步自动机，Proc.STACS’93，LNCS 665（1993）617\u2013628.“，”日记标题“：”LNCS“}“key”：“11_CR3”，“首页”：“583”，”卷：“623”、“author”：“P.Gastin”，“年份”：“1992”，“非结构化“：”P.Gastin，A.Petit：无限迹异步细胞自动机，Proc。ICALP’92，LNCS 623（1992）583\u2013594.“，”journal-title“：”LNCS“}，{“volume-title”：“Report DAIMI-PB 460”，“year”：“1993”，“author”：“N.Klarlund”，”key“：”11_CR4“，”unstructured“：”N.Kllarlund，M.Mukund，M.Sohoni:Determinatizing asynchronous automata“，Report DAIMI-PB 460，Computer Science Department，Aarhus，University，Aarhous，Denmarhus（1993）。“}”，{11_CR5“，“doi-asserted-by”：“crossref”，“unstructured”：“A.Mazurkiewicz：迹理论的基本概念，in：J.W.de Bakker，W.-P.de Roever，G.Rozenberg（eds.），线性时间，分支时间和并行逻辑和模型中的偏序，LNCS 354，（1989）285\u2013363.”，“doi”：“10.1007\/BFb0013025”}，{“volume-title”：“报告TCS-94-2”，“年份”：“1994年”，“作者”：“M.Mukund”，“键”：“11_CR6”，“非结构化”：“M.Mukurd，M.Sohoni:闲聊，异步自动机和Zielonka定理，报告TCS-94-2，数学学院，SPIC科学基金会，马德拉斯（1994）。另请参阅\u201c跟踪最新的八卦：有限制的时间戳就足够了\u201d，Proc。FST&TCS’93，LNCS 761（1993）388\u2013399.“}，{“key”：“11_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“A.Muscholl:On the complementation of B\u00fcchi asynchronous cellular automata，Proc.ICALP 1994.”，“doi”：“10.1007\/3-540-58201-0_64”}，[{“密钥”：“11-CR8”，“首页”：“99”，“卷”：“21”，“作者”：“W.Zielonka”，“年份”：“1987年”，“非结构化”：“W。Zielonka：关于有限异步自动机的注释，R.A.I.R.O.\u2014Inf。Th\u00e9或。等申请。，21（1987）99\u2013135.“，“期刊标题”：“R.A.I.R.O.\u2014Inf。Th\u00e9或。等申请。“}，{”key“：”11_CR9“，”first-page“：”278“，”volume“：“363”“，”author“：”W.Zielonka“，”year“：”1989“，”unstructured“：”W.Zielonga:可识别跟踪语言的安全执行，收录于《Botik的逻辑》，LNCS 363（1989）278\u2013289.“，”journal-title“：”LNCS“}]，”container-title”：[“计算机科学讲义”，“自动化、语言和编程”]，”原标题“：[]，”链接“：[｛”URL“：”http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58201-0_63.pdf“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用程序“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2020,11,17]，”日期时间“：”2020-11-17T2:18:27Z“，”时间戳“：1605647907000｝，”分数“：1，”资源“：｛”主要“：｛”URL“：”http://\/link.springer.com/10.1007\/3-540-58201-0_63“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[1994]]}，”ISBN“：[”9783540582014“，”978354485667“]，“引用计数”：9，“URL”：“http://\/dx.doi.org\/10.1007\/3-5400-58201-063”，“关系”：{}、“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“型号”：“电子“，”值“：”1611-3349“}]，”主题“：[]，”发布“：{”日期部分“：[[1994]]}}