Abstract Patterns of Compositional Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler. Abstract Patterns of Compositional Reasoning. In Roberto M. Amadio, Denis Lugiez, editors, CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Volume 2761 of Lecture Notes in Computer Science, pages 423-438, Springer, 2003. [doi]

This author has not been identified. Look up 'Nina Amla' in GoogleThis author has not been identified. Look up 'E. Allen Emerson' in GoogleThis author has not been identified. Look up 'Kedar S. Namjoshi' in GoogleThis author has not been identified. Look up 'Richard J. Trefler' in Google

runs on WebDSL