Semantic foundations of concurrent constraint programming. (1991)

by Vijay A Saraswat, Martin C Rinard, Prakash Panangaden
Venue:In POPL,