罗伯特·福伯;德克斯特·科赞;拉森,金;拉杜·马达尔;帕南加登,普拉卡什 Markov过程的无限制Stone对偶。 (英语) Zbl 1452.06009号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第92条,第9页(2017年)。MSC公司:06E25年 03B45 03B48号 03G25号 60日元99 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人,摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第92条,第9页(2017;Zbl 1452.06009) 全文: 链接
德克斯特·科赞;Larsen,Kim G。;拉杜·马达尔;帕南加登,普拉卡什 马尔可夫过程的斯通对偶性。 (英语) Zbl 1433.06006号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。321-330(2013年)。MSC公司:06E25年 03B45 03B48号 03G25号 60日元99 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人,in:2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学,2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2013。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。321-330(2013;Zbl 1433.06006) 全文: 内政部
金·古德斯特兰·拉森;格林·温斯克尔 使用信息系统求解递归域方程。 (英语) Zbl 0731.68071号 Inf.计算。 91,第2号,232-258(1991).MSC公司:68问题55 03天80 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{G.Winskel},Inf.Compute。91,第2号,232--258(1991;Zbl 0731.68071) 全文: 内政部