劳尔,体育。;Torrigiani,P.R。;护罩,M.W。 COSY-一种基于路径和过程的系统规范语言。 (英语) Zbl 0403.68031号 学报信息。 12, 109-158 (1979).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Lauer}等人,《信息学报》12,109--158(1979;Zbl 0403.68031) 全文: 内政部
劳尔,体育。;坎贝尔,R.H。 用于协调并发进程的一类高级原语的形式语义。 (英语) Zbl 0354.68026号 学报信息。 7, 325 (1977).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Lauer}和\textit{R.H.Campbell},《学报》7325(1977;Zbl 0354.68026) 全文: 内政部
劳尔,体育。;坎贝尔,R.H。 协调并发进程的一类高级原语的形式语义。 (英语) Zbl 0312.68012号 学报信息。 5, 297-332 (1975).MSC公司:68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Lauer}和\textit{R.H.Campbell},《学报》第5期,第297--332页(1975年;Zbl 0312.68012) 全文: 内政部
C.A.R.霍尔。;劳尔,体育。 编程语言语义的一致性和互补性形式理论。 (英语) Zbl 0264.68006号 学报信息。 3, 135-153 (1974).MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{P.E.Lauer},Acta Inf.3,135-153(1974;兹bl 0264.68006)