The following pages link to (Q4499205):
Displaying 13 items.
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- TimeC: A time constraint language for ILP processor compilation (Q698076) (← links)
- Embedding as a tool for language comparison (Q1314270) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- Timed CCP compositionally embeds Argos and Lustre (Q1882807) (← links)
- A framework for timed concurrent constraint programming with external functions (Q2867965) (← links)
- Coinduction in concurrent timed systems (Q2919457) (← links)
- Bridging the Gap between Two Concurrent Constraint Languages (Q3003518) (← links)
- Abstract diagnosis for timed concurrent constraint programs (Q3087437) (← links)
- Interval-Based Timing Constraints Their Satisfactions and Applications (Q4589558) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- TCC, with History (Q5418978) (← links)