丁,Crystal Chang;奥维,奥拉夫 关于具有共享未来的活动对象的合成推理。 (英语) Zbl 1343.68166号 正式Asp。计算。 27,第3期,551-572(2015).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}和\textit{O.Owe},正式Asp。计算。27,第3号,551--572(2015;Zbl 1343.68166) 全文: 内政部
加布里埃尔·乔巴努;马西耶·库特尼;Steggles,杰森 基于策略的语义,用于具有时间和访问权限的移动性。 (英语) Zbl 1343.68163号 正式Asp。计算。 27,第3期,525-549(2015).MSC公司:68问题85 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人,正式Asp。计算。27,第3号,525--549(2015;Zbl 1343.68163) 全文: 内政部 链接
克利夫·琼斯。;伊恩·海耶斯。;罗伯特·J·科尔文。 在并发的正式方法中平衡表达能力。 (英语) Zbl 1343.68171号 正式Asp。计算。 27,第3期,475-497(2015).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}等人,正式Asp。计算。27,第3号,475--497(2015;Zbl 1343.68171) 全文: 内政部