Linear concurrent constraint programming: Operational and phase semantics
scientific article; zbMATH DE number 1853157