Reactive behavior semantics for concurrent constraint logic programs (1989)

by Haim Gaifman, Michael J Maher, Ehud Shapiro
Venue:Proc. North American Conf. on Logic Programming'89