The following pages link to (Q4375591):
Displaying 16 items.
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Implementing logical connectives in constraint programming (Q622127) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Bisimilarity in concurrent constraint programming (Q2883099) (← links)
- (Q3787443) (← links)
- Efficient analysis of concurrent constraint logic programs (Q4630298) (← links)
- (Q4938428) (← links)
- (Q4939274) (← links)
- (Q4953364) (← links)
- True concurrency semantics for a linear logic programming language with broadcast communication (Q5044735) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q5096197) (← links)
- (Q5688918) (← links)