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