卢卡·卡德利;艾曼纽尔·卡隆;菲利普·加德纳;奥赞·卡拉马诺·乌拉尔;安德鲁·菲利普斯 肌动蛋白聚合的过程模型。 （英语） Zbl 1283.92047号 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，127-144（2009）。MSC公司：92C45型 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝等人，电子。注释Theor。计算。科学。229，第1号，127--144（2009；Zbl 1283.92047） 全文： 内政部
杰苏斯·阿兰达;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束规划中的随机行为和显式离散时间。 （英语） Zbl 1185.68437号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，682-686（2008）。MSC公司：68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Aranda}等人，Lect。注释计算。科学。5366、682--686（2008年；Zbl 1185.68437） 全文： 内政部 链接