{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,8,2]，“日期-时间”：“2024-08-02T10:31:09Z”，“时间戳”：1722594669282}，“引用-计数”：19，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：“日期-零件”：[[1986,1,1]]，“日期时间”：”1986-01-01T00:00:00 0:00Z“，”时间戳“：504921600000}，”内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：10059，“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90094-0“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T10:09:04Z“，”timestamp“：1051265344000}”，“page”：“183-199”，”source“：“Crossref”，“被count引用”：27，“special_numbering”：“C”，“title”：[“混合产品和异步自动机”]，“prefix”：“10.1016”，“volume”：“48”，“author”：[｛“given”：“Christine”，“family”：“Duboc”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛“key”：“10.1016\/00304-3975（86）90094-0_BIB1”，“series title”：“Rept.No.85-16”，“article title”：“痕迹理论”，“author”：“Albersberg”，“year”：“1985”}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB2”，”doi-asserted-by“：”crossref“，”doi“：”10.1051\/ita\/1986200201031“，”article-title“：”由常规字符串语言定义的痕迹语言“，”author“：”Albersberg“，”year“：”1986“，”journal-title”：“Rairo Inform.Th\u00e9 or”}，{“键”：“10.1016\/0304-3975（86）90094-0_BIB3“，”series-title“：”Coll。AFCET“，”article-title“：”Comportement de processus“，”author“：”Arnold“，”year“：”1982“}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB4”，“series-title”：“转义和无上下文语言”，“author”：“Berstel”，“year”：“1979”}，“key“：”10.1016\/0304-375（86）90004-0_BIB5“，”article-titel“：”Probl\u00e8mes Combinato通勤和R\u00e9安排“，”volume“：”85“，”author“：”Cartier“，”year“：”1969“}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB6”，“article-title”：“自由部分交换幺半群”，“author”：“Choffrut”，“year”：“1986”}，}“key”：”10.1016\/0304-975（86）90004-0_BIB7“，”doi-asserted-by“：”crossref“，”first page“179”，“doi”：“101016\/0304-3975（85）90013-1“，”文章标题“：”一些部分阿贝尔半群的可识别子集”，“卷”：“35”，“作者”：“科里”，“年份”：“1985”，“期刊标题”：“定理。计算。科学。“}，{”key“：”10.1016\/0304-3975（86）90094-0_BIB8“，”doi-asserted-by“：”crossref“，”first page“：“21”，“doi”：“10.1051\/ita\/1985190100211”，“article-title”：“Automates et communions partielles”，“volume”：“19”，“author”：“Cori”，“year”：“1985”，“journal-title“：”Rairo Inform.Th\u00e9or.“}”，{“key”：”10.10 016\/0304-3975（86）90094-0_BIB9“，“序列号”：”报告。No.1-86，Greco de Programmation，“article-title”：“部分阿贝尔幺半群”，“author”：“Cori”，“year”：“1986”}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB10”，“doi-asserted-by”：“crossref”，“first page”：”83“，“doi”：“101016\/0304-3975（84）90128-2”，“artice-title“：”Langages infinimaires et produit de mixage“，”卷“31”，“作者”“：”de Simone“，”year“：”1984“，”新闻标题“：”理论。计算。科学。“}，{”key“：”10.1016\/0304-3975（86）90094-0_BIB11“，”doi-asserted-by“：”crossref“，”first page“：“159”，“doi”：“10.1016\/0304-2975（86 016\/0304-3975（86）90094-0_BIB12“，”article-title“：”Commutations dans les mono\u00efdes libres:un-cadem th\u00e9orique pour l'\u00e 9tude du parall\u00e-9lisme“，”author“：”Duboc“，”year“：”1986“}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB13”，“doi-asserted-by”：“crossref”，“first page”：”1“，”doi“：”10.1016\/0304-975（85）90206-3“，”article-title“：”迭代事务的最大可序列化性“，”卷“：”38“，”作者“：”Fl\u00e9“，”年份“：”1985“，”日志标题“：”理论。计算。科学。“}，{”key“：”10.1016\/0304-3975（86）90094-0_BIB14“，”doi-asserted-by“：”crossref“，”article-title“：”并发程序方案及其解释“，”author“：”Mazurkiewicz“，”year“：”1977“，”doi“：”10.7146\/dpb.v6i78.7691“}”{“”并发系统的语义：模块化不动点跟踪方法”，“卷”：“188”，“作者”：“Mazurkiewicz”，“年”：“1985”}，{“键”：“10.1016\/0304-3975（86）90094-0_BIB16”，“序列-时间”：“ICALP 86”，“首页”：“254”，“文章-时间”，“自由部分交换幺半群的可识别子集”，“体积”：“226”，”作者“：“M\u00e9activer”，“年份”：“1986”}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB17”，“doi-asserted-by”：“crossref”，“首页”：“631”，“doi”：“101145\/32254.322158”，“文章标题”：“并发数据库更新的可序列化性”，“卷”：“26”，“作者”：“Papadimitrieu”，“年份”：“1979”，“日志标题”：”J.ACM“}，{”key“10.1016 \/0304-2975（86）900 94-0_B IB18“，”首页“：”56“，“article-title”：“并发系统的规则行为”，“author”：“Ochmanski”，“year”：“1985”，“journal-title“：”Bull.EATCS 27“}，{“key”：“10.1016\/0304-3975（86）90094-0_BIB19”，“series-title”：”异步自动机注释“，“author”：“Zielonka”，“年份”：“1984”}]，“container-title（容器-标题）”：[“理论计算机科学”]，“原始标题”：[]，“language”：“en”，“link“”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586900940？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://api.elsevier.com\/content\/artracle\/PII：0304397586900940？HTTP Accept=text\/plain”，“内容类型”：“文本\/plaine”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,3,21]]，“date-time”：“2019-03-21T20:53:54Z”，“timestamp”：1553201634000}，“score”：1，“resource”：{primary“：{”URL“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397586900940”}}，”subtittle“：[]，”shorttitle“:[]，“issued”：{date parts“：[[1986]]}，“references-count”：19，“alternative-id”：[“0304397586900940”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（86）90094-0”，“relationship”：{}，“ISSN”：【“0304-3975”】，“ISSN-type”：[{“value”：“0304-975”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[1986]]}}}}