Pages that link to "Item:Q5096300"
From MaRDI portal
The following pages link to A foundation for higher-order concurrent constraint programming (Q5096300):
Displayed 10 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- A closer look at constraints as processes (Q844200) (← links)
- Decoding choice encodings (Q1854385) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Constraints as processes (Q6104383) (← links)