马可·科米尼;玛丽亚·德尔·马尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 程序分析框架tccp公司基于抽象解释。 （英语） Zbl 1362.68045号 正式Asp。计算。 29，第3期，531-557（2017）.MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人，《形式语法》。计算。29，第3号，531--557（2017；Zbl 1362.68045） 全文： 内政部
莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 时间并发约束程序的抽象解释。 （英语） Zbl 1379.68060号 理论与实践。日志。程序。 15，第3期，312-357（2015）.MSC公司：68N17号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，《理论与实践》。日志。程序。15，第3号，312--357（2015；Zbl 1379.68060） 全文： 内政部 arXiv公司
阿里亚斯，詹姆;米歇尔·古兹曼;卡洛斯·奥拉特 时间并发约束编程的符号模型。 （英语） Zbl 1342.68222号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312161-177，仅电子版（2015）。MSC公司：68问题85 03B44号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人，《电子》。注释Theor。计算。科学。312161-177（2015；Zbl 1342.68222） 全文： 内政部
马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 （mathsf{tccp}）的泛性质的抽象分析。 （英语） Zbl 1362.68044号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学讲义9527163-178（2015）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人，Lect。注释计算。科学。9527163--178（2015年；Zbl 1362.68044） 全文： 内政部
卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 （英语） Zbl 1317.90283号 约束条件 18，第4期，535-578（2013）.MSC公司：90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《约束18》，第4期，535--578（2013；Zbl 1317.90283） 全文： 内政部 哈尔
玛丽亚·阿尔普特;玛丽亚·德尔马·加拉多;埃内斯托·皮门特尔;艾丽西亚·维拉纽埃娃 用于tccp程序抽象模型检查的语义框架。 （英语） Zbl 1087.68053号 西奥。计算。科学。 346，第1期，58-95（2005）.MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。346，第1号，58-95（2005年；兹bl 1087.68053） 全文： 内政部
金·万豪酒店;马丁·奥德斯基 并发约束编程的汇合演算。 （英语） Zbl 0902.68034号 西奥。计算。科学。 173，第1期，209-233（1997）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}和\textit{M.Odersky}，Theor。计算。科学。173，编号1，209--233（1997；Zbl 0902.68034） 全文： 内政部