Pages that link to "Item:Q6104382"
From MaRDI portal
The following pages link to Truly concurrent constraint programming (Q6104382):
Displaying 14 items.
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- A general theory of action languages (Q1286273) (← links)
- Confluence in concurrent constraint programming (Q1391102) (← links)
- A confluent calculus for concurrent constraint programming (Q1391935) (← links)
- Situated simplification (Q1391936) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- A true concurrency model of CCS semantics (Q1802071) (← links)
- Multithreaded constraint programming: A hybrid approach (Q2751579) (← links)
- (Q2767080) (← links)
- Bisimilarity in concurrent constraint programming (Q2883099) (← links)
- Probabilistic concurrent constraint programming (Q6044121) (← links)
- Models for concurrent constraint programming (Q6104366) (← links)