Bisimulation on Markov Processes over Arbitrary Measurable Spaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. Bisimulation on Markov Processes over Arbitrary Measurable Spaces. In Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Volume 8464 of Lecture Notes in Computer Science, pages 76-95, Springer, 2014. [doi]

This author has not been identified. Look up 'Giorgio Bacci' in GoogleThis author has not been identified. Look up 'Giovanni Bacci' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Radu Mardare' in Google

runs on WebDSL