Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascal Chambre, Pierre Deransart. Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. In Frank S. de Boer, Maurizio Gabbrielli, editors, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994.

This author has not been identified. Look up 'Pascal Chambre' in GoogleThis author has not been identified. Look up 'Pierre Deransart' in Google

runs on WebDSL