A foundation for higher-order concurrent constraint programming (1994)

by G Smolka
Venue:1st International Conference on Constraints in Computational Logics