｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,4]]，“date-time”：“2024-09-04T14:14:41Z”，“timestamp”：1725459281337｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：20，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“type”：“print”，“value”：“9783540133728”｝，｛“type”：“electronic”，“value”：“9783540389293”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1984]}，”DOI“：”10.1007\/bfb0030326“，”type“：”book-chapter“，”created“：{”date-ports“：[2006,1,25]]，”date-time“：”2006-01-25T15:19:29Z“，”时间戳“：1138202369000}，”页面“：”433-442“，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“非确定性过程的模型和运算符”]，“prefix”：“10.1007”，”author“：[{“given”：“Rocco”，“family”：“De Nicola”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,6,21]]}，“reference”：[}“key”：”41_CR1“，“first page”：“，”卷“：”154“，”作者“：”S.D。Brookes”，“年份”：“1983年”，“非结构化”：“Brookes S.D.”关于CCS和CSP的关系“Proc。ICALP’83，第154卷，第83\u201396页；(1983).“，”journal-title“：”Proc。ICALP’83“}，{“volume-title”：“编程方法论的理论基础”，“年份”：“1982年”，“作者”：“R.B.Burstall”，“非结构化”：“Burstal，R.B.和Goguen，J.A.，“代数、理论和自由：计算机科学家导论”，《编程方法论理论基础》（M.Broy和G.Schmidt eds）《多德勒支·雷德尔》（1982年）。“，”key“：”41_CR2“}，{”volume-title“：”Universal Algebra“，”year“：”1965“，”author“：”P.M.Cohn“，“unstructured”：”Cohn，P.M.“Universal Algebra”Harper and Row，New York（1965）。“，”key“：，程序。第17届FOCS年度研讨会，休斯顿（1976年）。“，”key“：”41_CR4“，”DOI“：”10.1109\/SFCS.1976.3“}，{“key”：“41_CR5”，”series-title“：”内部报告“，”首页“：”115“，”volume-title“：“通信序列过程理论的两个完整公理系统”，“author”：“R.Nicola De”，“year”：“1983”，“unstructured”：“De Nicola，R.“通信顺序过程理论的两个完整公理系统”。爱丁堡大学内部报告CSR-154-83（1983年）。程序中的简短版本。FCT’83，第158卷，Springer-Verlag，Berlin pp.115\u2013126doi断言：“crossref”，“first page”：“68”，“doi”：“10.1145\/322992.321997”，“volume”：“24”，“author”：“J.A.Goguen”，“year”：“1977”，“nonstructured”：“Goguen，J.A.，Thatcher，J.W.，Wagner，E.G.and Wright，J.B.\”初始代数语义和连续代数“Journal of ACM 24，No 1，68\u201395，（1977）。“，”journal-title“：”journal of ACM“}，{”key“：”41_CR8“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/3-540-10284-1“，“volume-title”：“代数语义学”，卷99“，”author“：”I.Guessarian“，”year“：”1981“，”unstructured“：”Guessarin，I.“代数语意学”，第99卷，Springer-Verlag，Berlin（1981）。“}”，{“unstructure”：“”Hennessy，M.“过程的同步和异步实验”，技术报告CSR-125-82，爱丁堡大学，（1982）。“，”“key”：“41_CR9”}，{“unstructured”：“Hennessy，M.”“非确定性机器的模型”，技术报告CSR-135-83，第299\u2013309页，（1983）。“，”\“，LNCS 85，第299\u2013309页，（1980）。“，”journal-title“：”LNCS“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Hoare，C.A.R.“Communicating Sequential Processes”，CACM Vol.21，No8，（1978）.”，“key”：“41_CR12”，“doi”：“10.1145”\/359576.359585《牛津大学计算实验室技术专题论文Prg-22》（1982年）。“，”key“：”41_CR13“}，{”unstructured“：”Hoare，C.A.R.，Brookes，S.D.和Roscoe，A.D.“通信顺序过程理论”，牛津大学计算实验室技术专著Prg-16（1981）。发表在ACM杂志Ichbiach，J.D.等人，《ADA编程语言参考手册》，MIL-STD-18 15A，（1983年）。“，”key“：”41_CR15“}，{“unstructured”：“Margaria，I.and Zacchi，M.”Modelli per processi-comunicanti:conmeto-tra teoria dei CSP e CCS\“，Cnet project Technical Report No 96，（1983）。”，“key”：“41_CR16”}，“key:”41_CR17“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/3-540-10235-3“，”volume-title“：”“通信系统演算”，卷92英寸作者”：“R.Milner”，“年份”：“1980”，“非结构化”：“Milner，R.\”通信系统微积分“，第92卷，施普林格出版社，柏林（1980）。“}，{”doi-asserted-by“：”crossref“，”unstructured“：”Rounds，W.C.和Brookes，S.D.“可能的未来，接受，拒绝和通信过程”，第22届FOCS Nashville，（1981）。“，”key“：”41_CR18“，”doi“：”10.1109\/SFCS.1981.36“}”，{《SIAM J.计算机》，第5卷，第3期，（1976年）。“，”key“：”41_CR19“，”DOI“：”10.1137\/0205037“}，{”unstructured“：”Stoy，J.“指称语义学：编程语言理论的Scott-Strachey方法”，麻省理工学院出版社，（1977）。“，”key“：http:\/\/link.springer.com/content\/pdf\/10.1007\/BFb0030326“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,2,9]]，”date-time“：“2019-02-09T05:33:37Z”，”timestamp“：1549690417000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/BFb0030326“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1984]]}，“ISBN”：[“9783540133728”，“978354389293”]，“references-count”：20，“URL”：“http://\/dx.doi.org\/10.10007\/BFb0030326”，“关系”：{}，《ISSN》：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-9743”}，{“型号”：“电子”，“value“：”1611-3349“}]，“subject”：[]，“published”：{“date-parts”：[[1984]}}