Proving Concurrent Constraint Programs Correct (1994)

by Frank S. de Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi
Citations:58 - 13 self