Proving correctness of Concurrent Constraint Programs.
Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
VenueBICLP
Year1994
ProceedingsICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
DBLP recordconf/iclp/BoerGMP94 ↗
Browse the full ICLP paper archive.