On Probabilistic Program Equivalence and Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrzej S. Murawski, Joël Ouaknine. On Probabilistic Program Equivalence and Refinement. In Martín Abadi, Luca de Alfaro, editors, CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Volume 3653 of Lecture Notes in Computer Science, pages 156-170, Springer, 2005. [doi]

This author has not been identified. Look up 'Andrzej S. Murawski' in GoogleThis author has not been identified. Look up 'Joël Ouaknine' in Google

runs on WebDSL