克罗拉德,T。;Polonowski,E。 从形式化的控制概念中导出用于非局部跳跃的Floyd-Hoare逻辑。 (英语) Zbl 1259.03044号 J.日志。阿尔盖布。程序。 81,第3期,181-208(2012).MSC公司:03B70号 68甲18 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Crolard}和\textit{E.Polonowski},J.Log。阿尔盖布。程序。81,第3号,181--208(2012;Zbl 1259.03044) 全文: 内政部 arXiv公司
罗伯特·J·科尔文。;伊恩·海耶斯。 通过上下文相关行为实现结构操作语义。 (英语) Zbl 1223.68026号 J.日志。阿尔盖布。程序。 80,第7期,392-426(2011).MSC公司:68甲15 第68季度55 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes},J.Log。阿尔盖布。程序。80,第7号,392--426(2011;Zbl 1223.68026) 全文: 内政部
你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数及其基础。 (英语) Zbl 1278.68176号 J.日志。阿尔盖布。程序。 80,第6期,266-296(2011).MSC公司:60年第68季度 68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。程序。80,No.6,266--296(2011;Zbl 1278.68176) 全文: 内政部 链接
丹·H·H。;Höfner,P。;莫勒,B。 代数分离逻辑。 (英语) Zbl 1260.03060号 J.日志。阿尔盖布。程序。 80,第6期,221-247(2011). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Dang}等人,J.Log。阿尔盖布。程序。80,第6221-247号(2011年;兹bl 1260.03060) 全文: 内政部
卡马尔·阿布尔·霍恩;德克斯特·科赞 局部变量范围和Kleene代数与测试。 (英语) Zbl 1148.68033号 J.日志。阿尔盖布。程序。 76,第1期,第3-17页(2008年).MSC公司:60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Aboul-Hosn}和\textit{D.Kozen},J.Log。阿尔盖布。程序。76,第1号,第3--17号(2008;Zbl 1148.68033) 全文: 内政部
格雷塔·约什;亚历山大·拉比诺维奇;穆利萨吉夫;安托万·迈耶;艾哈迈德·博阿贾尼 链接数据结构中可访问模式的逻辑。 (英语) Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73,编号1-2,111-142(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人,J.Log。阿尔盖布。程序。73,编号1--2,111-142(2007;Zbl 1121.03040) 全文: 内政部 arXiv公司