米克尔·伯特兰;弗朗西斯科·巴博特;气候,八月 分布式系统模型的形式化通信消除和序列化等价证明。 (英语) Zbl 1360.68471号 学报信息。 51,第6期,347-418(2014).MSC公司:2010年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bertran}等人,《信息学报》51,第6期,第347--418页(2014年;Zbl 1360.68471) 全文: 内政部
多米尼克·达根 正在运行的模块的基于类型的热交换。 (英语) Zbl 1067.68038号 学报信息。 41,编号4-5181-220(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Duggan},《信息学报》第41期,第4--5181-220号(2005年;Zbl 1067.68038) 全文: 内政部
Jos C.M.Baeten。;Vaandrager,Frits W。 进程创建的代数。 (英语) Zbl 0760.68045号 学报信息。 29,第4期,303-334(1992).MSC公司:68问题55 2010年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{F.W.Vaandrager},《学报》第29期,第4期,303--334(1992;Zbl 0760.68045) 全文: 内政部
偷偷摸摸,Gregor 上下文关系的演算。 (英语) Zbl 0706.68073号 学报信息。 28,第5期,411-445(1991). 审核人:G.施奈尔廷 MSC公司:68问题55 68N20型 第68季度第42季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Snelting},《学报》第28期,第5期,第411--445页(1991年;Zbl 0706.68073) 全文: 内政部
Lodaya,K。;Shyamasundar,R.K。 任务环境中异常处理的证明理论。 (英语) Zbl 0706.68076号 学报信息。 28,第1号,7-41(1990).MSC公司:60年第68季度 03B70号 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}和\textit{R.K.Shyamasundar},《学报》第28期,第1期,第7--41页(1990;Zbl 0706.68076) 全文: 内政部