Stone Duality for Markov Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden. Stone Duality for Markov Processes. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. pages 321-330, IEEE Computer Society, 2013. [doi]

This author has not been identified. Look up 'Dexter Kozen' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Radu Mardare' in GoogleThis author has not been identified. Look up 'Prakash Panangaden' in Google

runs on WebDSL