{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,13]]，“日期-时间”：“2023-09-13T16:43:56Z”，“时间戳”：1694623436190}，“参考-计数”：15，“出版商”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期-零件”：[[1995,1]]，《日期-时间》：“1995-01-01T00:00:00 Z“，”timestamp“：788918400000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：6784，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[1995]]}，”DOI“：”10.1016\/s1571-0661（04）80012-4“，”type“：”journal-article“，”created“：{”date-parts“：[[2004,9,28]]，”date-time“：”2004-09-28T19:29:25Z“，”timestamp“：”1096399765000}“，”page“：“214-231”，“source”：“Cross-time”参考“，“is-referenced-by-count”：4，“title”：[“A Name-free Account of Action Calculi”]，“prefix”：“10.1016”，“volume”：“1”，“author”：[{“给定”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/S1571-0661（04）80012-4_NEWBIB1”，“seriest-title”：“A Classical Mind:Essays in Honow”C.A.R.Hoare的ur”，“article-title”：“交互类别和通信顺序过程”，“author”：“Abramsky”，“year”：“1994”}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB2”，“unstructured”：“P.A.Gardner and R.Milner.Action Calculi VIII:A Short Note on Contextual Action Calpuli，technical Note，1994。”}，“非结构化”：“P.A.Gardner Action Calculi VII:Closed Action Calguli，full paper，1994.”}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB4”，“unstructured”：“M.Hasegawa.Personal communication.”}、{“key”：”10.1016\/S1571-661（04）60012-4_NEWBIB5“，”doi-asserted-by“：”crossref“，”：“C.Hermida and J。电源。纤维控制结构，发表于CONCUR，1995年。“，”DOI“：”10.1007\/3-540-60218-6_9“}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB6”，“unstructured”：“A.Mifsud，R.Milner and J.Power.Control Structures，Logic in Computer Science，San Diego，1995。”}，“key“：”1016\/S15171-0661（04）60012-4_NEWBIB7“，”series-title“：”通信与并发”，“作者”：“Milner”，“年份”：“1989”}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB8”，“doi-asserted-by”：“crossref”，“首页”：“1”，“doi”：“101016\/0890-5401（92）90008-4”，“article-title”：“移动过程的微积分，（第1部分和第2部分）”，“volume”：《Vol.100》，“作者“：”Milner“，”年：“1992”，“新闻标题”：“信息与计算“}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB9”，“unstructured”：“R.Milner.Action Structures，LFCS技术报告ECS-LFCS-92\u20132492992.”}，“{”key“：”10.1016\/S1571-661（04）60012-4_NEWBIB10“，”doi-asserted-by“：”crossref“，”unstructure“：”R。米尔纳。动作演算或句法动作结构。计算机科学数学基础，LNCS 711，Springer-Verlag，pp 105\u20131211993年6月“，”DOI“：”10.1007\/3-540-57182-5_7“}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB11”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.Milner.高阶作用微积分，CSLNCS 832，Springer-Verlags，pp 238\u20132601994。”，“DOI”：“10.1007\/BFb0049335“}，{“key”：“10.1016\/S1571-0661（04）80012-4_NEWBIB12”，“unstructured”：“R.Milner.Action Calculi IV:Molecular Forms，technical note，1993.”}，“key“：”10.1016\\S1571-066110.1016\/S1571-0661（04）80012-4_NEWBIB14“，“非结构化”：“C.A.Petri，异步信息流理论基础，Proc。IFIP大会62，慕尼黑，第386\u2013390页，北荷兰，1962年https:\/\/api.elsevier.com/content\/article\/PII:S1571066104800124？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104800124？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“存放”：{“日期段”：[[2021,11,4]，“date-time“：”2021-11-04T22:34:15Z“，”timestamp“：1636065255000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066104800124“}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[[1995]]}、“references-count”：15，“alternative-id”：[“S15710661048000124”]，“URL”：“http://\/dx.doi.org\/10.1016\/s1571-0661（04）80012-4”，“关系”：｛｝，“ISSN”：[“1571-0661”]，“ISSN类型”：[｛“值”：“1571-0661”，“类型”：“打印”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[1995]]｝｝