Jean-Marie,马迪奥;Damien Pous;戴维·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 (英语) Zbl 07407797号 日志。计算方法。科学。 17,第3号,第25号论文,39页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.M.Madiot}等人,日志。计算方法。科学。17,第3号,第25号论文,39页(2021;Zbl 07407797) 全文: arXiv公司 链接
Damien Pous;戴维·桑吉奥吉 相互模拟和共同还原增强:历史视角。 (英语) Zbl 1427.68010号 正式Asp。计算。 31,第6号,733-749(2019).MSC公司:68-03 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{D.Sangiorgi},正式Asp。计算。31,编号6,733--749(2019;Zbl 1427.68010) 全文: 内政部 链接
Damien Pous;朱里安·罗特 同伴、共同性和因果关系。 (英语) Zbl 1442.68149号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 106-123 (2017).MSC公司:第68季度85 03B70号 06B23号 08A70号 18立方厘米 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{J.Rot},莱克特。注释计算。科学。10203、106-123(2017;Zbl 1442.68149) 全文: 内政部 链接
Damien Pous 使用互模拟证明技术分析分布式抽象机。 (英语) Zbl 1146.68053号 西奥。计算。科学。 402,编号2-3,199-220(2008).MSC公司:第68季度85 64岁以下 PDF格式BibTeX公司 XML格式引用 \文本{D.Pous},Theor。计算。科学。402,编号2--3,199-220(2008;Zbl 1146.68053) 全文: 内政部 链接
丹尼尔·赫希科夫;Damien Pous;戴维·桑吉奥吉 一种用于安全环境的高效抽象机器。 (英语) Zbl 1116.68056号 J.日志。代数。程序。 71,第2期,114-149(2007).MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。代数。程序。71,第2号,114--149(2007;Zbl 1116.68056) 全文: 内政部 链接