迈克尔·巴特勒(编辑);埃纳尔·布罗赫·约翰森(编辑);路易吉亚·皮特(编辑) 编辑。 (英语) Zbl 1319.00018号 正式Asp。计算。 27,第4期,611-612(2015)。MSC公司:00B25型 68-06 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Butler}(编辑)等人,《正式评论》。计算。27,第4号,611--612(2015;Zbl 1319.00018) 全文: 内政部
科西莫·拉内夫;卢卡·帕多瓦尼 web服务契约的代数理论。 (英语) Zbl 1338.68016号 正式Asp。计算。 27,第4期,613-640(2015)。MSC公司:68米11 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{L.Padovani},正式Asp。计算。27,第4号,613--640(2015;Zbl 1338.68016) 全文: 内政部 哈尔
萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔·坎索 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 (英语) Zbl 1338.68164号 正式Asp。计算。 27,第4期,641-664(2015)。MSC公司:68问题55 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Taha}等人,正式Asp。计算。27,第4号,641--664(2015;Zbl 1338.68164) 全文: 内政部
艾尔维拉·阿尔伯特;科里亚斯,杰苏斯;热尔曼普埃布拉;吉列尔莫·罗曼·迪兹 分布式系统的量化抽象配置。 (英语) Zbl 1319.68023号 正式Asp。计算。 27,第4期,665-699(2015)。MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,正式Asp。计算。27,第4号,665--699(2015;Zbl 1319.68023) 全文: 内政部
多雷尔·卢卡努;弗拉德·鲁苏 通过循环推理实现程序等价。 (英语) Zbl 1319.68060号 正式Asp。计算。 27,第4期,701-726(2015)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}和\textit{V.Rusu},正式Asp。计算。27,第4号,701--726(2015;Zbl 1319.68060) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);马尼省斯瓦米纳坦 数据丰富的实时系统的结构转换。 (英语) 兹比尔1319.68150 正式Asp。计算。 27,第4期,727-750(2015)。MSC公司:68问题85 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Swaminathan},正式Asp。计算。27,第4号,727--750(2015;Zbl 1319.68150) 全文: 内政部