{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T13:36:32Z”，“时间戳”：1725456992358}，“出版商位置”：“柏林\/Heidelberg”，“引用计数”：22，“出版者”：“Springer-Verlag”，“isbn-type”：[{“类型”：”打印“，“值”：“35405282 61“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/bfb0032073”，“type”：“book-capter”，“created”：{“date-parts”：[[2005,12,11]]，“date-time”：“2005-12-11T06:05:31Z”，“timestamp”：113428113000}，《page》：“765-780”，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“简单的操作和代数语义：并发和函数编程的对称集成”]，“前缀”：“10.1007”，“作者”：[｛“给定”：“Sanjiva”，“家族”：“Prasad”，“序列”：“first”，“affiliation”：[]｝，｛“给定”：“Alessandro”，“家族”：“Giacalone”，“序列”：“additional”，“affiliation”：[]｝，｛“给定”：“Prateek”，“家族”：“Mishra”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“57_CR1”，“doi-asserted-by”：“crossref”，”first page“：”169“，”doi“：”10.1007\/3-540-17660-8_55“，”volume-title“：”LNCS 249:TAPSOFT'87“，”author“：”E.Astesiano“，”year“：”1987“，”unstructured“：“Egidio Astesiano和Gianna Reggio。SMoLCS-Driven Concurrent Calculi。在LNCS 249:TAPSOFT'87，第169\u2013201页，Springer-Verlag，Berlin，1987。”}，{“key”：“57_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Egino Astesiao和Elena Zucca。CCS中标签表达式的参数通道。技术报告，热那瓦大学，1984年1月。”，“DOI”：“10.1016\/0304-3975（84）90102-6”}，{“key”：“57_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Luca Cardelli.Amber.In Cousineau，Curien，and Robinet，editors，LNCS 242:Combinators and Functional Programming Languages，pages 21\u201347，Springer-Verlag，1986。”，“DOI:”10.1007\/3-540-17184-3_38“}，}“key:”57_CR4“，”DOI-assert-by“：”crossref“，“非结构化”：“U.Engberg和M.Nielsen.带标签传递的通信系统的微积分。技术报告DAIMI PB-208，奥胡斯大学计算机科学系，1986。”，“DOI”：“10.7146\/dpb.v15i208.7559”}，{“issue”：“2”，“key”：“57_CR5”，“DOI-asserted-by”：“crossref”，“first-page:“121”，”DOI“10.1007\/BF01491213”，“volume”：”：“18”，“author”：“A。贾卡隆”，“年份”：“1989年”，“非结构化”：“A.贾卡隆、P.米什拉和S.普拉萨德。FACILE：并行编程和函数编程的对称集成。国际并行处理杂志，18（2）：121\u20131601989年4月。“，”Journal-title“：”International Journal of Parallel Processing“}，{“key”：“57_CR6”，“doi-asserted-by”：“crossref”，“first-page”：“184”，”doi“：”10.1007\/3-540-50940-2_36“，”volume-title”：“LNCS 352:TAPSOFT'89”，“author”：“A.Giacalone”，《年份》：“1989”，“非结构化”：“亚历山德罗·贾卡隆（Alessandro Giacalone）、普拉蒂克·米什拉（Pratek Mishra）和桑吉瓦·普拉萨德（Sanjiva Prasad）。FACILE：并行编程和函数编程的对称集成。J.Diaz和F.Orejas，编辑，LNCS 352:TAPSOFT’89，第184\u2013209页，柏林斯普林格-Verlag，1989年3月。“}，{“key”：“57_CR7”，“unstructured”：“S\u00f6ren Holmstr\u00f 6m公司。PFL：一种用于并行编程的函数语言及其实现。编程方法组7，G\u00f6teborg和Chalmers科技大学，1983年9月。“}，{“key”：“57_CR8”，“unstructured”：“occam编程手册。1984。Prentice-Hall国际计算机科学系列，C.A.R.Hoare（系列编辑）。“}，{”key“：”57_CR9“，”unstructured“：”Gilles Kahn.并行编程简单语言的语义。《IFIP会议论文集》，第471\u2013475页，IFIP，1974年。“}doi-asserted-by“：”crossref“，”first page“：”286“，”doi“：”10.1007\/3-540-50940-2_42“，”volume-title“：”LNCS 352:TAPSOFT'89“，”author“：”S.Meira“，”year“：”1989“，”unstructured“：”Silvio Meira。流程和功能。J.Diaz和F.Orejas，编辑，LNCS 352:TAPSOFT’89，第286\u2013297页，柏林斯普林格出版社，1989年3月57_CR13“，”doi-asserted-by“：”crossref“，”first page“：”267“，”doi“：”10.1016\/0304-3975（83）90114-7“，“volume”：“25”，“author”：“R.Milner”，“year”：“1983”，“unstructured”：“Robin Milner”。同步和异步的计算。理论计算机科学，25:267\u20133101983。“，”杂志标题“：”理论计算机科学“}，{“key”：“57_CR14”，“unstructured”：“Robin Milner。并发过程的操作和代数语义。技术报告ECS-LFCS-88-46，爱丁堡大学，1988。”}，“key“：”57_CR15“，”unstructure“：”罗宾·米尔纳、约阿希姆·帕罗和大卫·沃克。移动进程微积分。技术报告ECS-LFCS-89-86，LFCS，爱丁堡大学计算机科学系，1989年6月。另以CSR-303-89的形式出版。“}，{”key“：”57_CR16“，”first page“：“357”，”volume-title“：”LNCS 366:PARLE 89的会议记录“，”author“：”F.Nielson“，”year“：”1989“，”unstructured“：”Flemming Nielson。The Typed \u03bb-Calculus with first-Class Processes。在LNCS 365:PARLE 88的会议记录，第357\u2013373页，Springer-Verlag，Berlin，1989。”}，“{”volume-title“：无限序列上的并发与自动机。卷LNCS 104“，“年份”：“1981”，“作者”：“D.Park”，“键”：“57_CR17”，“非结构化”：“无限序列上的D.Park.并发与自动机”。卷LNCS 104，Springer-Verlag，Berlin，1981年。“}，{”key“：”57_CR18“，”doi-asserted-by“：”crossref“，”first page“：“125”，“doi”：“10.1016\/0304-3975（75）90017-1”，“Volume”：“1”，“author”：“G.D.Plotkin”，“year”：“1975”，“unstructured”：“G.D.Plotkin.Call by name，Call by value，and the \u03bb calculations.Theory Computer Science，1:125\u20131591975。”，“journal-title“：“理论计算机科学”}，{“key”：“57_CR19”，“unstructured”：“G.D.Plotkin.操作语义的结构方法.奥胡斯大学DAIMI FN-19技术报告，1981年9月.”}。Reppy公司。同步操作作为一级值。《SIGPLAN编程语言设计与实现会议记录》，第250\u2013259页，ACM SIGPLAN，1988年6月。“，”DOI“：”10.1145\/53990.54015“}，{“key”：“57_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“本特·汤姆森。高阶通信系统微积分。1989年1月，第十六届ACM编程语言原理研讨会会议记录。“，”DOI“：”10.1145\/75277.75290“}，{”key“：”57_CR22“，”DOI-asserted-by“：”crossref“，”first page“：“54”，“DOI”：“10.1007\/3-540-17945-3_3”，“volume-title”：“LNCS 259:PARLE Parallel Architectures and Languages Europe”，“author”：“D.Turner”，“年份”：“1987年”，“非结构化”：“戴维·特纳。功能编程和通信过程。在de Bakker、Nijman和Trelaven，编辑，LNCS 259：PARLE Parallel Architectures and Languages Europe，第54\u201374页，Springer Verlag，柏林，1987年6月http://www.springerlink.com/index\/pdf\/10.1007\/BFb0032073“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,5,5]]，”date-time“：“2023-05T21:19:57Z”，”timestamp“：1683321597000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/BFb0032073“}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期部分“：[[null]]}，“ISBN”：[“3540528261”]，“references-count”：22，“URL”：“http://\/dx.doi.org\/10.10007\/BFb0032073”，“关系”：{}，，“主题”：[]}