杰拉德·布多尔 在高阶并发命令式语言中键入终止。 (英语) Zbl 1213.68159号 Inf.计算。 208,第6期,716-736(2010).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol},Inf.计算。208,第6号,716--736(2010;Zbl 1213.68159) 全文: 内政部
康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 使随机选择对调度程序不可见。 (英语) Zbl 1205.68239号 Inf.计算。 208,第6期,694-715(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatzikokolakis}和\textit{C.Palamidessi},信息计算。208,第6号,694--715(2010;Zbl 1205.68239) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;尼尔·皮特曼 战略逻辑。 (英语) Zbl 1205.68197号 Inf.计算。 208,第6期,677-693(2010).MSC公司:65年第68季度 91A05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息计算》。208,编号6677-693(2010年;Zbl 1205.68197) 全文: 内政部 链接
卢卡·德·阿尔法罗;普里塔姆·罗伊 通过三值抽象求精解决游戏。 (英语) Zbl 1205.68225号 Inf.计算。 208,第6期,666-676(2010).MSC公司:第68季度第60季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{P.Roy},Inf.Comput。208,第6号,666--676(2010;Zbl 1205.68225) 全文: 内政部
路易吉·桑托卡纳莱 3级树状事件结构的良好标记。 (英语) Zbl 1205.68249号 Inf.计算。 208,第6期,652-665(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},信息计算。208,第6号,652--665(2010;Zbl 1205.68249) 全文: 内政部
迈克尔·门德勒;杰拉尔德·吕特根 在等式Horn逻辑中,(mu)表达式上的观测同余是公理化的吗? (英语) Zbl 1205.68248号 Inf.计算。 208,第6期,634-651(2010).MSC公司:68问题85 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}和\textit{G.Lüttgen},Inf.Compute。208,第6号,634--651(2010;Zbl 1205.68248) 全文: 内政部
托马斯·埃尔哈德;奥利维·洛朗 解释微分相互作用网中的有限像素。 (英语) Zbl 1205.68242号 Inf.计算。 208,第6号,606-633(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard}和\textit{O.Laurent},Inf.Compute。208,第6号,606--633(2010;Zbl 1205.68242) 全文: 内政部 哈尔
路易斯·凯雷斯(编辑);Vasco T.瓦康塞洛斯。(编辑) 特刊:第18届并发理论国际会议。根据2007年9月3日至8日在葡萄牙里斯本举行的会议上的发言选出的论文。 (英语) 兹伯利1194.68018 Inf.计算。208,第605-736号(2010年)。 MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式