德塞尔,约格;哈维尔·埃斯帕尔扎;菲利普·霍夫曼 协商作为并发原语。 (英语) Zbl 1422.68168号 学报信息。 56,第2期,93-159(2019). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}等人,《学报》第56期,第2期,第93-159页(2019年;Zbl 1422.68168) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎(编辑);恩里科·特隆西(编辑) 《甘道夫2015》特刊前言。 (英语) Zbl 1384.00106号 学报信息。 55,No.2,89-90(2018).MSC公司:00B25型 68-06 65年第68季度 60年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}(编辑)和\textit{E.Tronci}(主编),《学报》第55期,第2期,第89-90页(2018年;Zbl 1384.00106) 全文: 内政部
哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 人口协议的验证。 (英语) Zbl 1364.68081号 学报信息。 54,第2期,191-215(2017).MSC公司:68个M12 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《学报信息》54,第2期,191--215(2017;Zbl 1364.68081) 全文: 内政部
哈维尔·埃斯帕尔扎 无限状态并发系统模型检查的可判定性。 (英语) Zbl 0865.68046号 学报信息。 34,第2期,85-107(1997). 审核人:J.Esparza(慕尼黑) MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza},Acta Inf.34,No.2,85-107(1997;Zbl 0865.68046) 全文: 内政部