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.
@inproceedings{ChambreD94, title = {Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs}, author = {Pascal Chambre and Pierre Deransart}, year = {1994}, researchr = {https://researchr.org/publication/ChambreD94}, cites = {0}, citedby = {0}, booktitle = {ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994}, editor = {Frank S. de Boer and Maurizio Gabbrielli}, }