Hitoshi Furusawa;乔治·斯特鲁斯 缓和多重关系。 (英语) Zbl 1407.03080号 ACM事务处理。计算。日志。 17,第4号,第28条,第34页(2016年).MSC公司:03G25号 03E20型 2007年6月 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。17,第4号,第28条,第34页(2016;Zbl 1407.03080) 全文: 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:第68季度85 03B70号 2007年6月 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
Hitoshi Furusawa;乔治·斯特鲁斯 并发动态代数。 (英语) 兹比尔1367.03054 ACM事务处理。计算。日志。 第16号第4条第30条第38页(2015年).MSC公司:03B70号 03B45号 03G25号 第68季度85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。16,第4号,第30条,第38页(2015;Zbl 1367.03054) 全文: 内政部 arXiv公司
朱尔斯·德沙奈斯;Möller,伯恩哈德;乔治·斯特鲁斯 带域的Kleene代数。 (英语) Zbl 1367.68205号 ACM事务处理。计算。日志。 7,第4期,798-833(2006).MSC公司:70年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,ACM Trans。计算。日志。7,第4号,798--833(2006;Zbl 1367.68205) 全文: 内政部 链接