法比奥·加杜奇;弗朗西斯科·桑蒂尼;路易斯·皮诺。;弗兰克·巴伦西亚。 软并发约束规划的观察和行为等效性。 （英语） Zbl 1373.68176号 J.日志。阿尔盖布。方法计划。 92, 45-63 (2017).MSC公司：68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人，J.Log。阿尔盖布。方法计划。92、45-63（2017年；Zbl 1373.68176） 全文： 内政部
卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 （英语） Zbl 1317.90283号 约束条件 18，第4期，535-578（2013）.MSC公司：90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《约束18》，第4期，535--578（2013；Zbl 1317.90283） 全文： 内政部 哈尔
阿兰达，耶苏斯;弗兰克·巴伦西亚。;克里斯蒂安·范萨里 关于CCS中限制和优先权的表达能力以及复制。 （英语） 兹比尔12346.8284 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504，242-256（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Aranda}等人，Lect。注释计算。科学。5504242-256（2009年；Zbl 1234.68284） 全文： 内政部
杰苏斯·阿兰达;辛齐亚·迪·朱斯托;尼尔森，莫根斯;弗兰克·巴伦西亚。 CCS与乔姆斯基层级中的复制：分歧的表达能力。 （英语） Zbl 1138.68038号 Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，383-398（2007）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Aranda}等人，Lect。注释计算。科学。4807383-398（2007年；Zbl 1138.68038） 全文： 内政部 链接
弗兰克·巴伦西亚。 无限状态定时CCP过程和一阶LTL的可判定性。 （英语） Zbl 1078.68110号 西奥。计算。科学。 330，第3期，577-607（2005）.MSC公司：68问题85 03B25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{F.D.Valencia}，Theor。计算。科学。330，第3号，577--607（2005；Zbl 1078.68110） 全文： 内政部