Pages that link to "Item:Q1391935"
From MaRDI portal
The following pages link to A confluent calculus for concurrent constraint programming (Q1391935):
Displaying 12 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- GOFFIN: Higher-order functions meet concurrent constraints (Q1380128) (← links)
- Confluence in concurrent constraint programming (Q1391102) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- (Q2723440) (← links)
- Bisimilarity in concurrent constraint programming (Q2883099) (← links)
- Concurrent Pattern Calculus (Q3163887) (← links)
- (Q4219040) (← links)
- (Q4953364) (← links)
- Constraints for polymorphic behaviours of concurrent ML (Q5096301) (← links)