罗伯特·福伯;德克斯特·科赞;金·拉森;拉杜·马代尔;帕南加登，普拉卡什 Markov过程的无限制Stone对偶。 （英语） Zbl 1452.06009号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第92条，第9页（2017年）。MSC公司：2005年6月 03B45号 03B48 03G25号 60J99型 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公司：2005年6月 03B45号 03B48 03G25号 60J99型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Kozen｝等人，在：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2013，美国洛杉矶新奥尔良杜兰大学，2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。321-330（2013；Zbl 1433.06006） 全文： 内政部