范登博斯,简;克里斯·拉法 PROCOL公司。一种具有协议委托和约束的并发面向对象语言。 (英文) Zbl 0724.68015号 学报信息。 28,第6期,511-538(1991).MSC公司:68甲15 2010年第68季度 68宽15 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.van den Bos}和\textit{C.Laffa},《学报》第28期,第6期,第511--538页(1991年;Zbl 0724.68015) 全文: 内政部
约翰·赖夫(John H.Reif)。;斯科特·斯莫尔卡。 分布式通信过程的数据流分析。 (英文) Zbl 0714.68003号 国际J并行程序。 19,第1期,1-30页(1990年).MSC公司:68M10个 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}和\textit{S.A.Smolka},国际J.并行程序。19,第1号,1--30(1990;Zbl 0714.68003) 全文: 内政部
约翰·赖夫(John H.Reif)。;斯科特·斯莫尔卡。 分布式通信过程中可达性的复杂性。 (英文) Zbl 0637.68032号 学报信息。 25,第3期,333-354(1988).MSC公司:第68页第25页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}和\textit{S.A.Smolka},《学报》第25期,第3期,第333--354页(1988;Zbl 0637.68032) 全文: 内政部
大卫·M·哈兰德。 面向并发进程的语言。 (英文) Zbl 0566.68027号 软质。,实际。专家。 1839-888年5月15日(1985年).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Harland},软件。,实际。专家。15839-888(1985年;Zbl 0566.68027) 全文: 内政部
塞拉·埃尔拉德;尼西姆·弗朗西兹 用于通信进程的最弱前提语义。 (英文) Zbl 0532.68035号 西奥。计算。科学。 29, 231-250 (1984).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{T.Elrad}和\textit{N.Francez},Theor。计算。科学。29、231--250(1984年;Zbl 0532.68035) 全文: 内政部
杰夫·克莱默;J.马吉。;斯洛曼,M。 分布式计算机控制系统的软件体系结构。 (英文) Zbl 0527.93002号 Automatica公司 20, 93-102 (1984).MSC公司:93-04 第68页第25页 94A05型 68号01 68第05页 90B10型 65年第68季度 93甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Kramer}等人,Automatica 20,93--102(1984;Zbl 0527.93002) 全文: 内政部