Abstract Interpretation of Concurrent Languages based on Linear Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi. Abstract Interpretation of Concurrent Languages based on Linear Logic. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 267-284, 1993.

This author has not been identified. Look up 'Jean-Marc Andreoli' in GoogleThis author has not been identified. Look up 'Tiziana Castagnetti' in GoogleThis author has not been identified. Look up 'Remo Pareschi' in Google

runs on WebDSL