格雷厄姆·科尔莫德;斯里坎塔·蒂尔塔普拉;徐伯坚 传感器数据稳健聚合的时间延迟草图。 （英语） Zbl 1210.68052号 SIAM J.计算。 39，第4期，1309-1339（2009）.MSC公司：第68页，共15页 68磅05分 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Cormode}等人，SIAM J.Compute。39，第4号，1309--1339（2009；Zbl 1210.68052） 全文： 内政部
码头Kleijn;马西耶·库特尼 具有动态结构的膜系统的Petri网模型。 （英语） Zbl 1185.68446号 自然计算。 8，第4期，781-796（2009）.MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}和\textit{M.Koutny}，自然计算。8，第4号，781--796（2009；Zbl 1185.68446） 全文： 内政部
达米安·伊姆斯;米歇尔·雷纳尔 必要时提供帮助，但仅限于：高效的读/写部分快照。 （英语） Zbl 1261.68028号 Keidar，Idit（编辑），《分布式计算》。2009年9月23日至25日，第23届国际研讨会，DISC 2009，西班牙埃尔切。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04354-3/pbk）。计算机科学课堂讲稿5805142-156（2009）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{D.Imbs}和\textit{M.Raynal}，莱克特。注释计算。科学。5805142-156（2009年；Zbl 1261.68028） 全文： 内政部 链接
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;吐温·巴斯滕;米歇尔·乔德隆 PARS：一种处理资源和调度程序的进程代数方法。 （英语） 兹比尔1171.68575 Alexander，Michael（编辑）等人，《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿：CRC pRESS（ISBN 978-1-4200-6486-5/hbk）。查普曼和霍尔/CRC计算科学系列，331-358（2009）。MSC公司：68问题85 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Mousavi}等人，in：并行和分布式处理的进程代数。佛罗里达州博卡拉顿：CRC pRESS。331-358（2009年；Zbl 1171.68575）
休伯特·加拉维;Salaün，格温;温德林·塞维 关于通信硬件进程的语义及其转换为LOTOS，以便使用CADP验证异步电路。 （英语） Zbl 1160.68465号 科学。计算。程序。 74，第3期，100-127（2009）.MSC公司：68问题85 68米99 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，科学。计算。程序。74，第3号，100-127（2009；Zbl 1160.68465） 全文： 内政部 链接