弗兰兹·阿赫尔曼;马库斯·隆佩;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) 全文: 内政部