A foundation for higher order concurrent constraint programming (1994)

by G Smolka
Venue:In In Proc. of Constraints in Computational Logics, LNCS 845