The following pages link to Computing with continuous change (Q1380117):
Displayed 9 items.
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- A comprehensive methodology for building hybrid models of physical systems (Q1583236) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- A multi-scale constraint programming model of alternative splicing regulation (Q1884858) (← links)
- Model-based computing: Developing flexible machine control software (Q1978447) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- TCC, with History (Q5418978) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)