{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,2]，“日期-时间”：“2022-04-02T16:53:10Z”，“时间戳”：1648918390227}，“引用-计数”：20，“发布者”：“爱思唯尔BV”，“问题”：“6”，“许可证”：[{“开始”：{/“日期-零件”：[1987,12]]，“日期时间”：1987-12-01T00:00:00Z“，”时间戳“：565315200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Parallel and Distributed Computing”]，“published-print”:{“date-parts”：[[1987,12]}，”DOI“10.1016\/0743-7315（87）90029315 3“，”type“：”期刊文章“，“created”：｛“date parts”：[[2004,2,23]]，“date time”：“2004-02-23T20:14:09Z”，“timestamp”：1077567249000｝，“page”：“531-545”，“source”：“Crossref”，“由count引用”：1，“title”：[“嵌套通信顺序进程的分布式实现：通信和终止”]，“prefix”：“10.1016”，“volume”：“4”，“author”：[｛“given”：“F.”，“family”：“Baiardi”，“sequence”：“first”，“affiliation”：[]}，{“given”：“A.”，“family”：“Fantechi”，“序列”：“additional”，“filiation“：[]{”，{”given“：“A.{“键”：“10.1016\/0743-7315（87）90029-3_BIB1”，“author”：“Ada Joint Program Office”，“year”：“1983”，“journal-title”：“Ada编程语言参考手册，DoD，ANSI \/MIL-STD 1815A”}，{“issue”：“3”，“key”：“10.1016\/0743-7315（87）90029-3_BIB2”，“doi-asserted-by”：“crossref”，”first page“：”370“，”doi“：”10.1145\/579.584“，”article-title“建模CSP的分布式终止约定”，“volume”：“6”，“author”：“Apt”，“year”：“1984”，“journal-title”：“ACM Trans.Programming Languages Systems”}，{“key”：”10.1016\/0743-7315（87）90029-3_BIB3“，”series-title“：”Proc.11th Fault Tolerant Computing Symposium“，”first page“：”20“，”article-title“：“MuTEAM内核中健壮多处理环境的机制”，”author“：”Baiardi“，”year“：“1981”}，{“key”：“10.1016\/0743-7315（87）90029-3_BIB4”，“series-title”：“MuTEAM在设计微处理器分布式系统中的经验”，“首页”：“25”，“文章-标题”：“健壮分布式环境的语言构造及其语义”，“author”：“Baiardi”，“year”：“1983”}：“Proc.ACM编译器构造会议”，“首页”：“290”，“article-title”：“ECSP中处理器间通信的静态检查”，“author”：“Baiardi”，“year”：“1984”}，{“key”：“10.1016\/0743-7315（87）90029-3_BIB6”，“series-title”：：“消息传递分布式多处理器的操作系统内核”，“作者”：“Baiardi”，“年份”：“1983”}，{“密钥”：“10.1016\/0743-7315（87）90029-3_BIB7”，“series-title”：“第四届IEEE分布式软件和数据库系统可靠性研讨会”，“首页”：“218”，“文章标题”：“容错分布式软件协作方法的结构化过程”，“author”：“Baiardi”，“year”：“1984”}，{“issue”：“2”，“key”：“10.1016\/0743-7315（87）90029-3_BIB8”，“doi-asserted-by”：“crossref”，“first page”:“234”，“doi”：“101145\/357094.357101”，“article-title”：“CSP中的输出保护和不确定性”，“volume”：：“Bernstein”，“year”：“1980”，“journal-title”：“ACM Trans.Programming Languages Systems”}，{“key”：“10.1016\/0743-7315（87）90029-3_BIB9”，“series-title”：《MuTEAM设计微处理器分布式系统的经验》，“first page”：《85》，“article-title》：“MuTEAM系统的硬件配置”，“author”：“Corsini”，“year”：《1983》}，{“issue”：“3”，“key”：“10.1016\/0743-7315（87）90029-3_BIB10”，“doi-asserted-by”：“crossref”，“首页”：“290”，”doi“：”10.1016\/0022-0000（79）90006-0“，”article-title“：”不确定性、并发性和通信的语义“，”volume“：”19“，”author“：”Francez“，”year“1979”，“journal-title”：“J.Compute.Systems Sci.”}，{“问题：“1”，“键”：“10.1016\/0743-7315（87）90029-3_BIB11”，“doi-asserted-by”：“crossref”，“first page”：“42”，“doi”：“10.1145\/357084.357087”，“article-title”：“Distributed termination”，“volume”：”2“，“author”：“Francez”，“year”：“1980”，“journal-title“：”ACM Trans.Programming Languages Systems“}，{”issue“：”1\u20132“，”key“：”10.1016\\0743-7315（87）90029-3_BIB12“，”doi-asserted-by“：“crossref”，“first page”：“25”，“DOI”：“10.1016\/0304-3975（84）90022-7”，《article-title》：“分布式编程语言的线性历史语义”，“volume”：”32“，“author”：“Francez”，“year”：“1984”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：《10.1016\/0743-7315（87）90029-3_BIB13》，“unstructured”：“Gray，J.N。关于数据库操作系统的说明。在操作系统\u2014An Advanced Course，Telection Notes In Computer Science，Springer-Verlag，Berlin\/New York，Vol.60，pp.394\u2013481。“}，{“issue”：“8”，“key”：“10.1016\/0743-7315（87）90029-3_BIB14”，“doi-asserted-by”：“crossref”，“first page”：Hoare“，”year“：”1978“，”journal-title“：”Comm.ACM“}，{”issue“：”1\u20132“，”key“：”10.1016\/0743-7315（87）90029-3_BIB15“，”doi-asserted-by“：”crossref“，“first page”：“49”，“doi”：“10.1016\/0167-6423（81）90005-8”，“article-title”：“通信过程的总正确性演算”，“volume”：”1“，“author”：“Hoare”，“year”：“1981”，“新闻标题”：“科学。计算。编程“｝，｛“问题”：“2”，“关键”：“10.1016\/0743-7315（87）90029-3_BIB16”，“doi断言”：“crossref”，“首页”：“75”，“doi”：“10.1145\/358549.358561”，“文章标题”：“皇帝的旧衣服”，“卷”：“24”，“作者”：“骗局”，“年份”：“1981”，“期刊标题”：“Comm.ACM”｝，｛“问题”：“3”，“关键”：“10.1016\/0743-7315（87）90029-3_BIB17“，”doi断言为“：”crossref“，”first page“：”560“，”DOI“：”10.1145\/828.833“，”article-title“：”A theory of communicating sequential process“，”volume“：“31”，”author“：”Hoare“，“year”：“1984”，”journal title“：“J.ACM31”}，{“key”：“10.1016\/0743-7315（87）90029-3_BIB18”，“series-title”：“The Occam Programming Language”，“author”：“Inmos Ltd.”，“year:”1984“}，”key“：”10.1016\/0743-7315（87）90029-3_BIB19“，”doi-asserted-by“：”crossref“，”unstructured“：”Jensen，D.分布式系统中的硬件-软件关系。在Lampson，B.W.，Paul，M.和Siegert，M.J.（编辑）中。分布式系统高级课程\u2014Architecture and Implementation，计算机科学讲义，Springer-Verlag，Berlin，New York，Vol.105，pp.413\u2013420.“，“DOI”：“10.1007\/3-540-10571-9_17”}，{“key”：“101016\/0743-7315（87）90029-3_BIB20”，“unstructured”：“Milner，R。通信系统微积分。《计算机科学讲稿》，柏林/纽约Springer-Verlag出版社，第92卷。“}]，“container-title”：[“并行与分布式计算杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0743731587900293？httpAccept=text\/xml”，“content-type”：“text\/xml”，“内容-版本”：“vor”，“intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0743731587900293？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,2,15]]，“date-time”：”2019-02-15T01:24:58Z“，“timestamp”：1550193899 8000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0743731587900293”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{-“date-parts”：[[1987,12]]}，”references-count“：20，”journal-issue“：{-问题”：“6”，“published-print”：{--“date-ports”：[1987,12]}}、“alternative-id”：[“0743731587900293”]，“URL”：“http:\/\/dx.doi.org\/10.1016\/0743-7315（87）90029-3“，”关系“：{}，”ISSN“：[”0743-7315“]，”ISSN-type“：[{”值“：”0743.7315“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[1987,12]]}}}}