马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉,法拉利;罗伯托·祖尼诺 模型检查使用策略。 (英语) Zbl 1361.68133号 数学。结构。计算。科学。 25,第3期,710-763(2015).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,《数学》。结构。计算。科学。25,第3号,710--763(2015;Zbl 1361.68133) 全文: 内政部
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂 CaSPiS:会话、管道和服务的计算。 (英语) Zbl 1361.68161号 数学。结构。计算。科学。 25,第3期,666-709(2015).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人,数学。结构。计算。科学。25,第3号,666--709(2015;Zbl 1361.68161) 全文: 内政部
劳拉·博奇;埃米利奥·托斯托 面向服务计算中基于属性的事务。 (英语) Zbl 1361.68059号 数学。结构。计算。科学。 25,第3期,619-665(2015).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}和\textit{E.Tuosto},数学。结构。计算。科学。25,第3号,619--665(2015;Zbl 1361.68059) 全文: 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 cJoin(加入):加入使用通信事务。 (英语) Zbl 1361.68060号 数学。结构。计算。科学。 25,第3期,566-618(2015).MSC公司:68号30 68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,数学。结构。计算。科学。25,第3号,566--618(2015;Zbl 1361.68060) 全文: 内政部
水坝,马德斯;巴特·雅各布斯;安德烈亚斯·伦德布拉德;弗兰克·皮森斯 多线程Java的安全监视器内联和认证。 (英语) Zbl 1361.68027号 数学。结构。计算。科学。 25,第3期,528-565(2015).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Dam}等人,数学。结构。计算。科学。25,第3号,528--565(2015;Zbl 1361.68027) 全文: 内政部
克拉克、戴夫;米歇尔·赫文斯泰恩;伊娜·谢弗 抽象三角洲建模。 (英语) 兹比尔1361.68063 数学。结构。计算。科学。 25,第3期,482-527(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Clarke}等人,数学。结构。计算。科学。25,第3号,482--527(2015;Zbl 1361.68063) 全文: 内政部
伊万·拉内斯(编辑);戴维·桑吉奥吉(编辑) 前言:关于对象和服务的专题。 (英语) Zbl 1362.00029号 数学。结构。计算。科学。 25,第3期,480-481(2015).MSC公司:00B15号机组 68-06 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)和\textit{D.Sangiorgi}(主编),数学。结构。计算。科学。25,第3号,480-481(2015;Zbl 1362.00029) 全文: 内政部