{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:49:26Z”，“时间戳”：1725490166611}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540678977“}，{”类型“：“electronic”，“value”：“9783540446187”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2000]]}，”DOI“：”10.1007\/3-540-44618-4_7“，”type“：”book-capter“，”created“：”{“date-part”：[2007,8,28]]，“date-time”：“2007-08-28T10:30 8:51Z“，”时间戳“：1188297531000}，”页面“：”69-88“，”源“：“Crossref”，“is-referenced-by-count”：6，“title”：[“From Process Calculi to Process Frameworks”]，“prefix”：“10.1007”，”author“：[{“given”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2000,12,21]]}，“reference”：[{key“：”7_CR1“，”series-title“Le”ct Notes Compute Sci“，”卷时间“：“ICALP”，“author”：“Y.Fu”，“year”：“1997”，“unstructured”：“Y.Fu.通信的证明理论方法。ICALP，LNCS 1256，Springer-Verlag，1997。”}，{“key”：“7_CR2”，“非结构化”：“P.A.Gardner和L.Wischik.基于\u03c0F-演算的过程框架。EXPRESS，Elsevier Science Publishers，1999。”}.，{，“key“：”7_CR3“，”doi-asserted-by“：“crossref”，“unstructured”：“P.A.Gardner和L.Wischik。显式融合。MFCS，2000年。出现。“，”DOI“：”10.1007\/3-540-44612-5_33“}，{”key“：”7_CR4“，”unstructured“：”M.长谷川.共享图模型（Let和Letrec的分类语义）.博士论文，ECS-LFCS-97-360，爱丁堡大学，1997。“}”，{“key”：“7_CR5”，“unstructure”：“M.长谷和P。加德纳。高阶作用微积分和计算\u03bb-calculus。计算机软件的理论方面，仙台，1997。“}，{”key“：”7_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Honda.过程理论中的基本结构（1）：带重命名的集合。计算机科学中的数学结构，2000。出现。“，”DOI“：”10.1017\/S0960129599002947“}，{“key”：“7_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Joyal，R.Street，and D.Verity.Traced monoid categories。《剑桥哲学学会数学学报》，119（3），1996.”，“DOI”：“10.1017\/S0305004100074338”}，“key“：”7_CR8“，”DOI-assert-by“：”crossref.“，”unstructure“：”杰米·莱弗和罗宾·米尔纳。推导反应系统的共刺激一致性。CONCUR，2000年。出现。“，”DOI“：”10.1007\/3-540-44618-4_19“}，{”key“：”7_CR9“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1007\/BFb0049335”，“volume-title”：“Computer Science Logic”，“author”：“R.Milner”，“year”：“1994”，”unstructured“：”R.Milner.Higher order action calculli.Computer科学逻辑，LNCS 832，Springer-Verlag，1994.”}，{“密钥”：“7_CR10“，”非结构化“：”R.Milner。反射动作计算。未出版手稿，1994年。“}，{”问题“：”8“，”关键“：”7_CR11“，”doi-asserted-by“：”出版商“，”首页“：”707“，”doi“：”10.1007\/s002360050067“，“卷”：“33”，“作者”：“R.Milner”，“年份”：“1996”，“非结构化”：“R.Milner。交互计算。信息学报，33（8）：707\u20137371996。”，“新闻标题”：“信息学报”}，{“键”：“7_CR12”，“非结构化“：”R.Milner。通信和移动系统：π演算。CUP，1999.“}，{”key“：”7_CR13“，”unstructured“：”J.Parrow和B.Victor.《融合演算：移动过程中的表达性和对称性》，LICS，计算机社会出版社，1998年。“}”，{“key”：“7_CR14”，“doi-asserted-by”：“crossref”，“unstructure”：“D.Sangiorgi.像素计算的互模拟理论。CONCUR，Springer-Verlag，1993年。”，“doi”：“10.1007\/3-540-57208-2_10“}，{“key”：“7_CR15”，“unstructured”：“Peter Sewell。从重写规则到互模拟同余。理论计算机科学，2000。出现。“}]，”container-title“：[”计算机科学讲义“，”CONCUR 2000\u2014并发理论“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-44618-4_7“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]”，“deposed”：{”date-parts“：[2019,5,2]]，“日期-时间”：“2019-05-02T13:03:35Z”，“时间戳”：15568025775000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/3-540-444618-4_7”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2000]]｝，“国际标准图书编号”：[“9783540678977”，“9783540446187”]，“引用次数”：15，“URL”：“http:\/\/dxf doi.org/10.1007\/35-444618-4_7“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}]，”主题“：[]，”发布“：{”日期部分“：[[2000]]}}