Graph Generation to Statically Represent CSP Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. Graph Generation to Statically Represent CSP Processes. In María Alpuente, editor, Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Volume 6564 of Lecture Notes in Computer Science, pages 52-66, Springer, 2010. [doi]

This author has not been identified. Look up 'Marisa Llorens' in GoogleThis author has not been identified. Look up 'Javier Oliver' in GoogleIdentified as Josep Silva This author has not been identified. Look up 'Salvador Tamarit' in Google

runs on WebDSL