Linear concurrent constraint programming: operational and phase semantics (2001)

by François Fages, Paul Ruet, Sylvain Soliman
Venue:Information and Computation