比约恩哈根森;塞尔吉奥·马菲斯;伊恩·菲利普斯 并行计算的匹配系统。 (英语) Zbl 1277.68189号 Amadio,Roberto(编辑)等人,第14届并发表达性国际研讨会论文集(EXPRESS 2007),葡萄牙里斯本,2007年9月3日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第2期,85-99(2008)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Haagensen}等人,《电子》。注释Theor。计算。科学。194,编号2,85--99(2008;Zbl 1277.68189) 全文: 内政部
塞尔吉奥·马菲斯;菲利普·加德纳 动态web数据的行为等效性。 (英语) Zbl 1135.68005号 J.日志。阿尔盖布。程序。 75,第1期,86-138(2008).MSC公司:68M10个 68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{P.Gardner},J.Log。阿尔盖布。程序。75,编号1,86--138(2008;Zbl 1135.68005) 全文: 内政部
菲利普·加德纳;塞尔吉奥·马菲斯 动态web数据建模。 (英语) Zbl 1077.68004号 西奥。计算。科学。 342,第1期,104-131(2005).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}和\textit{S.Maffeis},Theor。计算。科学。342,编号1,104--131(2005;Zbl 1077.68004) 全文: 内政部 链接
塞尔吉奥·马菲斯;伊恩·菲利普斯 关于纯环境结石的计算强度。 (英语) Zbl 1078.68108号 西奥。计算。科学。 330,第3期,501-551(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{I.Phillips},Theor。计算。科学。330,第3号,501--551(2005;Zbl 1078.68108) 全文: 内政部
弗兰西斯卡,李维;塞尔吉奥·马菲斯 关于移动环境的抽象解释。 (英语) Zbl 1078.68096号 Inf.计算。 188,第2期,179-240(2004).MSC公司:第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}和\textit{S.Maffeis},信息计算。188,第2号,179--240(2004;Zbl 1078.68096) 全文: 内政部
马尔科·卡博尼;塞尔吉奥·马菲斯 论(pi)-演算中多进制同步的表达能力。 (英语) Zbl 1270.68208号 Nestmann,Uwe(编辑)等人,EXPRESS’02。第九届并发表现力国际研讨会论文,2002年8月19日,捷克共和国布尔诺。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》68,第2期,15-32(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Carbone}和\textit{S.Maffeis},电子。注释Theor。计算。科学。68,第2号,第15--32号(2002年;Zbl 1270.68208) 全文: 内政部