A logical view of concurrent constraint programming (1995)

by N P Mendler, P Panangaden, P J Scott, R A G Seely
Venue:Nordic J. of Computing