Semantic foundations of concurrent constraint programming (1991)

by V A Saraswat, M C Rinard, P Panangaden
Venue:In POPL