The following pages link to (Q4259957):
Displaying 7 items.
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- A confluent calculus for concurrent constraint programming (Q1391935) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- Abstract Analysis of Universal Properties for tccp (Q5743591) (← links)
