Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.
Pascal Chambre, Pierre Deransart
VenueBICLP
Year1994
ProceedingsICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
DBLP recordconf/iclp/ChambreD94 ↗
Browse the full ICLP paper archive.