皮耶保罗·德加诺;吉安·路易吉,法拉利;吉安卢卡·梅泽蒂 常规和无上下文的标称记录道。 (英语) Zbl 1376.68087号 学报信息。 54,第4号,399-433(2017). 审核人:弗朗西斯科·多尔斯(蒙特勒) MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,《信息学报》54,第4期,399--433(2017年;Zbl 1376.68087) 全文: 内政部
费尔南多·罗莎·维拉尔多;Maria Martos-Salgado 用于验证具有名称绑定的深度边界进程的多集重写。 (英语) Zbl 1277.68204号 Inf.计算。 215, 68-87 (2012).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{M.Martos-Algado},Inf.Compute。21568--87(2012;Zbl 1277.68204) 全文: 内政部
皮耶保罗·德加诺;吉安·路易吉,法拉利;吉安卢卡·梅泽蒂 用于资源使用控制的标称自动机。 (英语) Zbl 1297.68121号 Moreira,Nelma(编辑)等人,《自动机的实现和应用》。2012年7月17日至20日,第17届国际会议,CIAA 2012,葡萄牙波尔图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31605-0/pbk)。计算机科学课堂讲稿7381125-137(2012)。MSC公司:第68季度第45季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,Lect。注释计算。科学。7381125-137(2012年;兹bl 1297.68121) 全文: 内政部
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有无序数据的Petri网的可判定性和复杂性。 (英语) Zbl 1231.68172号 西奥。计算。科学。 412,第34号,4439-4451(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 60年第68季度 第68季度25 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig},Theor。计算。科学。412,第34号,4439-4451(2011;Zbl 1231.68172) 全文: 内政部
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有名称创建和复制的Petri网受限模型的可判定性结果。 (英语) Zbl 1242.68185号 Franceschinis,Giuliana(编辑)等人,《Petri网的应用和理论》。第30届国际会议,PETRI NETS 2009,巴黎,法国,2009年6月22-26日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02423-8/pbk)。计算机科学讲座笔记560663-82(2009)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig},莱克托。注释计算。科学。560663-82(2009年;Zbl 1242.68185) 全文: 内政部
卢卡·卡德利;菲利普·加德纳;乔治·盖利 使用隐藏标签操作树。 (英语) Zbl 1277.68116号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172177-201(2007)。MSC公司:68问题55 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《电子》。理论注释。计算。科学。172177--201(2007年;兹bl 1277.68116) 全文: 内政部