Pages that link to "Item:Q4923526"
From MaRDI portal
The following pages link to Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I (Q4923526):
Displaying 5 items.
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming (Q5504690) (← links)
