Pages that link to "Item:Q1391102"
From MaRDI portal
The following pages link to Confluence in concurrent constraint programming (Q1391102):
Displaying 5 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
