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

by F Fages, P Ruet, S Soliman
Venue:Information and Computation