Linear Concurrent Constraint Programming: Operational and Phase Semantics
In this paper we give a logical semantics for the class CC of concurrent constraint programming languages and for its extension LCC based on linear constraint systems. Besides the …