Truly concurrent constraint programming (Q1605181)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Truly concurrent constraint programming |
scientific article |
Statements
Truly concurrent constraint programming (English)
0 references
15 July 2002
0 references
We study ``causality'' relationships in concurrent constraint programming: what is observed is not just the conjunction of constraints deposited in the store, but also the causal dependencies between these constraints. We describe a denotational semantics for cc that is fully abstract with respect to observing this ``causality'' relation on constraints. This semantics preserves more fine-grained structure of computation; in particular the interleaving law \((a\rightarrow P)\parallel(b\rightarrow Q)=(a\rightarrow (P\parallel(b\rightarrow Q)))(b\rightarrow(Q\parallel(a\rightarrow P)))\) is not verified (\(\square\) is indeterminate choice). Relationships between such a denotational approach to true concurrency and different powerdomain constructions are explored.
0 references
true concurrency
0 references
different powerdomain constructions
0 references