Pages that link to "Item:Q2576949"
From MaRDI portal
The following pages link to A semantic framework for the abstract model checking of tccp programs (Q2576949):
Displaying 5 items.
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
- Bridging the Gap between Two Concurrent Constraint Languages (Q3003518) (← links)
- The tccp Interpreter (Q5170191) (← links)
