福雷德里克·达布罗夫斯基 文本对齐的SPMD程序的指称语义。 (英语) Zbl 1435.68058号 J.日志。阿尔盖布。方法计划。 108, 90-104 (2019).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Dabrowski},J.Log。阿尔盖布。方法计划。108,90-104(2019年;兹比尔1435.68058) 全文: DOI程序
罗伯特·瓜夏莱;埃米利奥·托斯托 彩球的可实现性。 (英语) Zbl 1435.68213号 J.日志。阿尔盖布。方法计划。 108, 69-89 (2019).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guanciale}和\textit{E.Tuosto},J.Log。阿尔盖布。方法计划。108、69-89(2019年;Zbl 1435.68213) 全文: DOI程序 链接
菲利普·巴尔比亚尼;约瑟夫·布杜 带有fork的无迭代PDL变体的公理化和可计算性。 (英语) 兹比尔1435.03055 J.日志。阿尔盖布。方法计划。 108, 47-68 (2019).MSC公司:03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{J.Boudou},J.Log。阿尔盖布。方法计划。108、47-68(2019年;Zbl 1435.03055) 全文: DOI程序 链接
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英语) Zbl 1435.68191号 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。阿尔盖布。方法计划。108、24-46(2019年;Zbl 1435.68191) 全文: DOI程序 链接
劳尔·费尔瓦里;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 反思是关系模型中的一种行为。 (英语) Zbl 1435.03035号 J.日志。阿尔盖布。方法计划。 108, 1-23 (2019).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fervari}和\textit{F.R.Velázquez-Quesada},J.Log。阿尔盖布。方法计划。108,1-23(2019年;Zbl 1435.03035) 全文: DOI程序