Jean-Marie，马迪奥；Damien Pous；戴维·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 （英语） 兹比尔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公司 链接
田，春；戴维·桑吉奥吉 收缩、CCS及其HOL形式化的独特解决方案。 （英语） Zbl 1496.68250号 Inf.计算。 275，文章ID 104606，33 p.（2020）.MSC公司：68问题85 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{D.Sangiorgi}，信息计算。275，文章ID 104606，33 p.（2020；Zbl 1496.68250） 全文： 内政部 arXiv公司
阿德里安·杜里埃；丹尼尔·赫希科夫；戴维·桑吉奥吉 方程的发散性和唯一解。 （英语） Zbl 1442.68134号 日志。方法计算。科学。 15，第3号，第12号论文，第34页（2019年）.MSC公司：68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人，Log。方法计算。科学。15，第3号，第12号论文，34页（2019年；Zbl 1442.68134） 全文： arXiv公司
田，春；戴维·桑吉奥吉 收缩、CCS及其HOL形式化的独特解决方案。 （英语） Zbl 1525.68086号 Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）276122-139（2018）。MSC公司：68问题85 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{D.Sangiorgi}，电子。程序。西奥。计算。科学。（EPTCS）276122--139（2018；Zbl 1525.68086） 全文： 链接
戴维·桑吉奥吉；徐，西安 作为流程的功能树。 （英语） Zbl 1511.68186号 日志。方法计算。科学。 14，第3号，第11号论文，41页（2018年）.MSC公司：68问题85 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛D.Sangiorgi｝和\textit｛X.Xu｝，日志。方法计算。科学。14，第3号，第11号论文，41页（2018；Zbl 1511.68186） 全文： 内政部 arXiv公司
阿德里安·杜里埃；丹尼尔·赫希科夫；戴维·桑吉奥吉 方程的发散性和唯一解。 （英语） Zbl 1442.68135号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第11条，第16页（2017年）。MSC公司：68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人，LIPIcs——莱布尼茨国际程序。通知。85，第11条，第16页（2017年；Zbl 1442.68135） 全文： 内政部
奥尔内拉·达达；埃琳娜·贾奇诺；戴维·桑吉奥吉 重新访问会话类型。 （英语） Zbl 1376.68099号 Inf.计算。 256, 253-286 (2017).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Dardha}等人，《信息计算》。256253-286（2017年；Zbl 1376.68099） 全文： 内政部
戴维·桑吉奥吉 方程、收缩和独特的解决方案。 （英语） Zbl 1367.68212号 ACM事务处理。计算。日志。 18，第1号，第4条，第30页（2017年）.MSC公司：68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，ACM翻译。计算。日志。18，第1号，第4条，30页（2017年；Zbl 1367.68212） 全文： 内政部 哈尔
伊万·拉内斯；佩雷斯（Jorge A.Pérez）。；戴维·桑吉奥吉；阿兰·施密特 关于高阶过程计算的表达性和可判定性。 （英语） Zbl 1238.68100号 Inf.计算。 209，第2期，198-226（2011）. 审核人：罗曼·库兹涅茨（伯尔尼） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，《信息计算》。209，第2号，198--226（2011；Zbl 1238.68100） 全文： 内政部 链接
邓玉欣；戴维·桑吉奥吉 确保按类型终止。 （英语） Zbl 1110.68084号 Inf.计算。 204，第7期，1045-1082（2006）.MSC公司：68问题85 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{D.Sangiorgi}，Inf.Comput。204，第7号，1045--1082（2006；Zbl 1110.68084） 全文： 内政部
邓玉欣；戴维·桑吉奥吉 面向类型化移动进程的代数理论。 （英语） Zbl 1086.68090号 西奥。计算。科学。 350，编号2-3，188-212（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{D.Sangiorgi}，Theor。计算。科学。350，编号2--3188-212（2006；Zbl 1086.68090） 全文： 内政部
菲奥雷，M.P。；莫吉，E。；桑吉奥吉，D。 一个完全抽象的\（\pi\）演算模型。 （英语） Zbl 1053.68066号 Inf.计算。 179，第1期，76-117（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人，《信息计算》。179，编号1，76--117（2002；Zbl 1053.68066） 全文： 内政部
马可·皮斯托雷；戴维·桑吉奥吉 用于\（\pi\）-演算的分区细化算法。 （英语） Zbl 1003.68082号 Inf.计算。 164，第2264-321号（2001年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Pistore}和\textit{D.Sangiorgi}，信息计算。164，第2号，264--321（2001；Zbl 1003.68082） 全文： 内政部
桑吉奥吉，D。 异步过程演算：第一和高阶范式。 （英语） Zbl 0956.68081号 西奥。计算。科学。 253，第2期，311-350（2001）.MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。253，编号2，311--350（2001；Zbl 0956.68081） 全文： 内政部
戴维·桑吉奥吉 统一接受的名称规则。 （英语） Zbl 0930.68035号 西奥。计算。科学。 221，编号1-2，457-493（1999）.MSC公司：68甲18 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。221，编号1-2457-493（1999年；Zbl 0930.68035） 全文： 内政部
罗伯特·阿马迪奥（Roberto M.Amadio）。；伊利亚州卡斯特拉尼；戴维·桑吉奥吉 关于异步演算的互模拟。 （英语） Zbl 0915.68009号 西奥。计算。科学。 195，第2期，291-324（1998）.MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \文本{R.M.Amadio}等人，Theor。计算。科学。195，第2号，291--324（1998；Zbl 0915.68009） 全文： 内政部
米歇尔·博雷尔；戴维·桑吉奥吉 （\pi\）-演算双相似的一些同余性质。 （英语） 兹伯利0902.68117 西奥。计算。科学。 198，第1-2号，159-176（1998）.MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{D.Sangiorgi}，Theor。计算。科学。198，编号1--2，159--176（1998；Zbl 0902.68117） 全文： 内政部
戴维·桑吉奥吉 统一接受的名称规则。 （英语） Zbl 1401.68234号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256303-313（1997）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，莱克特。票据计算。科学。1256303——313（1997年；Zbl 1401.68234） 全文： 内政部
戴维·桑吉奥吉 移动进程计算中的位置和交错语义。 （英语） Zbl 0874.68115号 西奥。计算。科学。 155，第1号，39-83（1996）.MSC公司：2010年第68季度 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。155，编号1，39--83（1996；Zbl 0874.68115） 全文： 内政部
戴维·桑吉奥吉 \（pi）-演算、内部迁移和代理传递演算。 （英语） 兹比尔0874.68103 西奥。计算。科学。 167，编号1-2，235-274（1996）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。167，编号1--2，235-274（1996；Zbl 0874.68103） 全文： 内政部
法希尼，E。；Maggiolo-Schettini，A。；桑吉奥吉，D。 收缩树自动机的类及其与收缩网格自动机的比较。 （英语） Zbl 0790.68086号 学报信息。 29，编号6-7，623-643（1992）. 审核人：E.法希尼语（罗马语） MSC公司：68问题80 PDF格式BibTeX公司 XML格式引用 \textit{E.Fachini}等人，《学报》第29期，第6--7、623--643号（1992年；Zbl 0790.68086） 全文： 内政部