The following pages link to Refinement of time (Q1589580):
Displaying 5 items.
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Accepting zeno words: A way toward timed refinements (Q1581898) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)