Proving Concurrent Constraint Programs Correct (1994)

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