Proving Concurrent Constraint Programs Correct.

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi

Browse the full POPL paper archive.