A Logical View of Concurrent Constraint Programming (1995)

by N P Mendler, Prakash Panangaden, Philip J Scott, R A G Seely
Venue:Nord. J. Comput