Proving Concurrent constraint Programs Correct (1997)

by F S DE BOER, M GABBRIELLI, E MARCHIORI, C PALAMIDESSI
Venue:ACM Transactions on Programming Languages and Systems