Proving concurrent constraint programs correct (1997)

by F S de Boer, M Gabbrielli, E Marchiori, C Palamidessi
Venue:ACM TOPLAS