Pages that link to "Item:Q2348541"
From MaRDI portal
The following pages link to Models and emerging trends of concurrent constraint programming (Q2348541):
Displayed 12 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← 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)
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)