卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) Zbl 1464.68209号 西奥。计算。科学。 819, 35-49 (2020).MSC公司:60年第68季度 03B44号 03B70型 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
路易斯·凯恩斯 分布式系统中并发和资源控制的空间行为类型。 (英语) Zbl 1146.68018号 西奥。计算。科学。 402,编号2-3,120-141(2008).MSC公司:64岁以下 03B70型 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Caires},Theor。计算。科学。402,编号2--3,120-141(2008;Zbl 1146.68018) 全文: 内政部
路易斯·凯雷斯;艾蒂安·洛兹 消除空间逻辑中的量词和不确定性以实现并发。 (英语) Zbl 1097.68085号 西奥。计算。科学。 358,编号2-3,293-314(2006).MSC公司:68问题85 60年第68季度 03B70型 03B25号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{E.Lozes},Theor。计算。科学。358,编号2--3,293--314(2006;Zbl 1097.68085) 全文: 内政部
爱蒂安·洛兹 静态空间逻辑中空间连接词的消除。 (英语) Zbl 1078.68098号 西奥。计算。科学。 330,第3号,475-499(2005).MSC公司:60年第68季度 03B70型 68T27型 PDF格式BibTeX公司 XML格式引用 \提奥,textit{埃里·洛兹}。计算。科学。330,第3号,475--499(2005;Zbl 1078.68098) 全文: 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。二、。 (英语) Zbl 1050.68104号 西奥。计算。科学。 322,编号3517-565(2004).MSC公司:68问题85 03B70型 03B45号 05年3月 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},Theor。计算。科学。322,第3号,517--565(2004;Zbl 1050.68104) 全文: 内政部
城市,基督教;安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 名义统一。 (英语) 兹比尔1078.68140 西奥。计算。科学。 323,编号1-3,473-497(2004).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban}等人,Theor。计算。科学。323,编号1--3,473--497(2004;Zbl 1078.68140) 全文: 内政部
大卫·J·派姆。;O'Hearn,Peter W。;Yang,宏石 可能的世界和资源:\(\mathbf{BI}\)的语义。 (英语) Zbl 1055.03021号 西奥。计算。科学。 315,第1期,257-305(2004).MSC公司:03B70型 03楼52 03G30型 03B47号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pym}等人,Theor。计算。科学。315,第1号,257--305(2004;Zbl 1055.03021) 全文: 内政部