穆萨布·A·阿尔图尔基。;何塞·梅塞格尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) Zbl 1329.68169号 J.日志。代数。方法计划。 84,第4期,505-533(2015).MSC公司:68问题55 03B70号 2010年第68季度 2012年第68季度 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer},J.Log。代数。方法计划。84,第4号,505--533(2015;Zbl 1329.68169) 全文: 内政部
何塞·梅塞格尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司:68问题55 03B70号 68号30 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},信息计算。231、38--69(2013年;Zbl 1435.68188) 全文: 内政部
斯塔夫罗斯·特里帕基斯;克里斯托斯·斯特吉奥;Chris剃须刀;爱德华·A·李。 托勒密的模块化形式语义。 (英语) Zbl 1271.68238号 数学。结构。计算。科学。 23,第4期,834-881(2013).MSC公司:68岁20岁 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}等人,《数学》。结构。计算。科学。23,第4号,834--881(2013;Zbl 1271.68238) 全文: 内政部
Bae,Kyungmin先生;彼得·塞巴·奥维茨基;冯,托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 使用实时淡紫色验证等级托勒密二世离散事件模型。 (英语) Zbl 1264.68051号 科学。计算。程序。 77,第12期,1235-1271(2012).MSC公司:68号30 第68季度第60季度 68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人,科学。计算。程序。77,第12号,1235--1271(2012;Zbl 1264.68051) 全文: 内政部
何塞·梅塞格尔 二十年的逻辑重写。 (英语) Zbl 1267.03043号 J.日志。代数。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。代数。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部