Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau. Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. In Patrick Cousot, editor, Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Volume 2126 of Lecture Notes in Computer Science, pages 20-39, Springer, 2001. [doi]

This author has not been identified. Look up 'Miquel Bertran' in GoogleThis author has not been identified. Look up 'Francesc-Xavier Babot' in GoogleThis author has not been identified. Look up 'August Climent' in GoogleThis author has not been identified. Look up 'Miquel Nicolau' in Google

runs on WebDSL