Proving concurrent constraint programs correct (1997)

by F S D Boer, M Gabbrielli, E Marchiori, C Palamidessi
Venue:ACM Transactions on Programming Languages and Systems