Non-interference in Partial Order Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Béatrice Bérard, Loïc Hélouët, John Mullins. Non-interference in Partial Order Models. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 80-89, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Béatrice Bérard' in GoogleThis author has not been identified. Look up 'Loïc Hélouët' in GoogleThis author has not been identified. Look up 'John Mullins' in Google

runs on WebDSL