弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 (英语) Zbl 1214.68220号 正式Asp。计算。 22,第6期,681-711(2010).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,正式Asp。计算。22,编号:6861-711(2010年;Zbl 1214.68220) 全文: 内政部
休伯特·加拉维 思考并发理论的未来,特别是进程计算。 (英语) Zbl 1279.68258号 Palamidessi,Catuscia(ed.)等人,《LIX并发理论新兴趋势研讨会论文集》(LIX 2006),法国巴黎,2006年11月13日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记209,149-164(2008)。MSC公司:68问题85 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},电子。注释Theor。计算。科学。209、149--164(2008年;Zbl 1279.68258) 全文: 内政部