达里奥什·德沃尼科夫斯基;安德烈·斯特罗因斯基;杰兹·布热津斯基 面向REST的过程演算:最新技术。 (英语) 兹比尔1328.68018 已找到。计算。Decis公司。科学。 40,第4期,237-265(2015).MSC公司:68米11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Dwornikowski}等人,发现。计算。Decis公司。科学。40,第4号,237--265(2015;Zbl 1328.68018) 全文: 内政部
德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 第68季度第60季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
R.D.尼古拉。;普格利泽,R。 基于Linda的应用和命令过程代数。 (英语) Zbl 0944.68064号 西奥。计算。科学。 238,编号1-2,389-437(2000).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Nicola}和\textit{R.Pugliese},Theor。计算。科学。238,编号1--2,389--437(2000;Zbl 0944.68064) 全文: 内政部