Pages that link to "Item:Q1763732"

The following pages link to Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732):

Displaying 8 items.

• A symbolic model for timed concurrent constraint programming (Q530859) (← links)
• Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
• Decidable cases of first-order temporal logic with functions (Q2426731) (← links)
• Timed Concurrent Constraint Programming for Analysing Biological Systems (Q2864201) (← links)
• A Framework for Timed Concurrent Constraint Programming with External Functions (Q2867965) (← links)
• Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
• The serializability problem for a temporal logic of transaction queries (Q3647287) (← links)
• TCC, with History (Q5418978) (← links)