Characterising Testing Preorders for Finite Probabilistic Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan. Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science, 4(4), 2008. [doi]

This author has not been identified. Look up 'Yuxin Deng' in GoogleThis author has not been identified. It may be one of the following persons:

Rob J. van Glabbeek

Look up 'Rob J. van Glabbeek' in GoogleThis author has not been identified. Look up 'Matthew Hennessy' in GoogleThis author has not been identified. Look up 'Carroll Morgan' in Google

runs on WebDSL