Distributed Markov Chains

Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan. Distributed Markov Chains. In Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, editors, Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Volume 8931 of Lecture Notes in Computer Science, pages 117-134, Springer, 2015. [doi]

Abstract

Abstract is missing.