文森特·达诺斯;罗素·S·哈默。 概率游戏语义。 (英语) Zbl 1365.68310号 ACM事务处理。计算。日志。 3,第3期,359-382(2002). 引用于23文件 MSC公司: 68问题55 计算理论中的语义学 18 C50 形式语言的范畴语义 68甲15 编程语言理论 91A80型 博弈论的应用 关键词:博弈语义;概率理想化算法 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{R.S.Harmer},ACM Trans。计算。日志。3,第3号,359--382(2002;Zbl 1365.68310) 全文: 内政部