弗兰兹·阿赫尔曼;马库斯·隆佩;Jean-Guy施耐德;奥斯卡·尼尔斯特拉斯 PICCOLA–一种小型合成语言。重印2001年精装版。 （英语） Zbl 1255.68053号 Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。403-426 (2010).MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Achermann}等人，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。403--426（2010年；Zbl 1255.68053）
T.S.帕菲罗娃。 关于将顺序并行组合程序简化为完全顺序形式。 （乌克兰语。英文摘要） Zbl 1224.68053号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡 2010年第1期，第132-137页（2010年）.MSC公司：68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Parfirova}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2010年第1期，第132-137页（2010年；Zbl 1224.68053）
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 （英语） Zbl 1214.68220号 正式Asp。计算。 第6号第22页，第681-711页（2010年）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人，正式Asp。计算。22，第6号，681--711（2010；Zbl 1214.68220） 全文： 内政部
杰拉尔德·吕特根;沃尔特·福格勒 准备好并发模拟：这是合乎逻辑的！ （英语） Zbl 1197.68053号 Inf.计算。 208，第7期，845-867（2010）.MSC公司：68问题85 03B70号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler}，Inf.Compute。208，第7号，845--867（2010；Zbl 1197.68053） 全文： 内政部 链接
倪、岳;范玉顺 语义web服务组合的模型转换和形式验证。 （英语） Zbl 1192.68069号 高级工程师软件。 41，第6号，879-885（2010）.MSC公司：68英里11 68T05型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ni}和\textit{Y.Fan}，高级工程师软件。41，第6号，879--885（2010；Zbl 1192.68069） 全文： 内政部