The following pages link to (Q4499205):
Displaying 5 items.
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- Bridging the Gap between Two Concurrent Constraint Languages (Q3003518) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- TCC, with History (Q5418978) (← links)
