｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,30]，“日期-时间”：“2022-03-30T06:22:22Z”，“时间戳”：1648621342249｝，“发布者位置”：“柏林，海德堡”，“引用计数”：18，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540127277”，“类型”：“打印”｝，｛“值”：“9783540387145”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1983]}，”DOI“：”10.1007\/3-540-12727-5_15“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T17:54:43Z“，”timestamp“：1330192483000}，”page“：”255-268“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“Nivat-processing systems:与保护和同步相关的决策问题”]，“prefix”：“10.1007”，”author“：[{”given“：”Sorin“，”family“：”Istrail“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Cristian“，“family”：“Masalagiu”，“在线发布”：｛“日期部分”：[[2005,5,29]｝，“参考”：[｛“密钥”：“15_CR1”，“非结构化”：“J.Beauquier\u2014 Sur la compatibilit\u00e9 des system\u00e8 mes de s\u00e9 curit\u00e9。程序。第三届国际程序设计研讨会，B.Robinet主编，巴黎，1978年，第110\u2013125页。“}，{“key”：“15_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“J.Beauquier，M.Nivat\u2014形式语言理论在安全与同步问题中的应用。形式语言理论，R.Book主编，学术出版社，1980年，第407\u2013453页。”，“doi”：“10.1016\/B978-0-12-115350-2.50018-X“}，{“key”：“15_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“J.Berstel\u2014 Transductions and Context-Free Languages，Teubner Vlg，1979.”，“doi”：“10.1007\/978-3663-09367-1”}，}“key:”15_CR4“，”unstructure“：”M.A.Harrison \u2014形式语言理论导论。Addison-Wesley Publishing Company，Inc.，1978。“}，{”key“：”15_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”M.A.Harrison，W.L.Ruzzo，J.D.Ullman\u2014操作系统保护，CACM，第19卷，第9期，1976年。“，”doi“：”10.1145\/3603.360333“}”，{“key”：“15_CR6”，“unstructure”：“S.Istrail，C.Masalagiu\u2014论“智能”中的保护处理系统。《人工智能的新方向》，C.Ignat主编，大学“Al.I.Cuza”，Ia\u015fi，1981.“}，{”key“：”15_CR7“，”doi-asserted-by“：”publisher“，”first page“：“105”，“doi”：“10.1016\/0304-3975（76）90068-2”，“volume”：“3”，“author”：“N.D.Jones”，“year”：“1977”，“unstructured”：“N.D.Jones，W.T。Laaser \u2014确定多项式时间的完整问题。理论计算机科学31977年，第105\u2013117页。”，“期刊标题”：“理论计算机科学”}，{“key”：“15_CR8”，“unstructured”：“R.J.Lipton，L.Snyder\u2014决定主题安全性的线性时间算法。研究报告72，耶鲁大学，1976年。”}R.J.Lipton，L.Snyder\u2014《同步与安全》。《安全计算基础》，1978年，第367\u2013385页M.Nivat\u2014语言alg\u00e9briques de mots infinis。R.A.I.R.O.，《理论计算机科学》，第12卷，第3期，1978年。“，“DOI”：“10.1051\/ita\/1978120302591”}，{“key”：“15_CR12”，“unstructured”：“M.Nivat\u2014无限词，无限树，无限计算。计算机科学基础III，第2部分，J.W.de Bakker和J.van Leeuwen ed.，1979，p.3\u201353.”}首页：“899”，“卷”：“11”，“作者”：“M.Nivat”，“年份”：“1979”，“非结构化”：“M.Nivat\u2014 Sur la synchronization des processus，Revue Technique Thomson CSF，第11卷，第4期，1979年，第899\u2013919页。”，“期刊标题”：“Revue Technique Thomson CSF”}，｛“密钥”：“15_CR14”，“卷标题”：“形式语言”，“作者”：“A.Salomaa”，“年份”：“1973”unstructured“：”A.Salomaa\u2014 Formal Languages，学术出版社，纽约，1973年。“}，{”issue“：”2“，”key“：”15_CR15“，”doi-asserted-by“：”crossref“，”first page“：“229”，”doi“：”10.1147 \/sj.192.0229“，”volument“：”19“，”author“：”C.Wood“，”year“：”1980“，”unstructure“：”C.Wood，E.B.Fernandez，R.C.Summers\u2014 Data Base Security；需求、政策和模型。IBM Systems Journal，vol.19，nr.21980，p.229\u2013253.“，”Journal-title“：”IBM Systems Journal“}，{“key”：“15_CR16”，“first page”：”285“，”volume“：”20“，“author”：“L.Boasson”，“year”：“1980”，“unstructured”：”L.Boasson，M.Nivat\u2014语言坚持，J.C.S.S.，vol.201980，p.285\u2013309.“，”，“Journal-title”：“J.C.S.”}，：“15_CR17”，“非结构化“：”A.Arnold，M.Nivat\u2014 Comportements de processus\u2014Colloque AFCET，巴黎，火星，1982年，第35\u201368页。“}，{”key“：”15_CR18“，”doi-asserted-by“：”publisher“，”first page“：“341”，“doi”：“10.1016\/0304-3975（82）90080-9”，“volume”：“21”，“author”：“S.Istrail”，“year”：“1982”，“非结构化”：“S。Istrail\u2014关于非代数坚持的一些评论，Theor。计算。科学。21，1982，p.341\u2013349“，“新闻标题”：“Theor。计算。科学。“}]，”container-title“：[”CAAP'83“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-12727-5_15.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，”deposed“：{”date-parts“：[2020,11,17]]，”date-ports时间“：”2020-11-17T20:06:10Z“，”timestamp“：1605643570000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-12727-5_15”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[1983]}，《ISBN》：[“9783540127277”，“978354387145”]，“references-count”：18，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-12727-5_15”，“关系”：{}，“ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，“type”：”print“}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1983]}}}